Pappos’s Theorem: With 9 lines and 9 points where the lines intersect, if all but one of the points are the intersection of three lines, then the last point is also the intersection of three lines. (With 10 lines and 10 points, the theorem is Desargues’s and was not proved until 1636.)
