Tetszés szerinti négyszög mindegyik csúcsából merőlegest bocsátunk a vele szomszédos csúcsokat összekötő átlóra. Bizonyítandó, hogy a merőlegesek talppontjaival meghatározott négyszögben ‐ ha az létrejön ‐ a szögek egyenlők a kiindulási négyszög szögeivel.