Teorema di Pappos: con 9 linee e 9 punti di incrocio delle linee, se tutti tranne uno dei punti sono l’intersezione di tre linee, allora anche l’ultimo punto e’ l’intersezione di tre linee (con 10 linee e 10 punti il teorema e’ quello di Desargues e non sara’ dimostrato fino al 1636)