Az $ABCD$ négyszög $AB$, $BC$, $CD$ és $DA$ oldalainak felező merőlegesei legyenek rendre $a$, $b$, $c$ és $d$; az $a\mathrm{,}b$; $b\mathrm{,}c$; $c\mathrm{,}d$ és $d\mathrm{,}a$ egyenespár metszéspontjait pedig jelöljük $A\text{'}$, $B\text{'}$, $C\text{'}$, $D\text{'}$-vel. Mutassuk ki, hogyha az $a$, $b$, $c$ és $d$ egyenesek metszik egymást, és nem egy ponton mennek át, akkor az $A\text{'}C\text{'}$ és $B\text{'}D\text{'}$ egyenesek merőlegesek az eredeti négyszög átlóira.