Ez csak projektív geometriában igaz, ami a normál euklideszi geometria egy speciális kiterjesztése. A középiskolában tanult euklideszi geometriában ilyen nincs, nem nagyon gondolom, hogy matek tagozaton kívül bárhol tanulnának középiskolában projektív geometriát. Hiszen még az euklideszi geometria korlátait sem ismerik általában (hiszen nem minden algebrai szám szerkeszthető meg), legfeljebb szakkörön, de ott is elemi csoportelmélet kell a bizonyításhoz. Inkább afelé szoktak elmenni, hogy speciális szerkesztési szabályokkal rendelkező geometriákról bizonyítják be, hogy ekvivalens az euklideszivel (például Mohr-Mascheroni tétel szokott lenni szakkörökön).