Egy egyenes négy pontja sorrendben $A$, $B$, $C$, $D$. Írjunk az $AB$, $AD$, $CB$ és $CD$ szakaszok mint átmérők fölé félköröket, éspedig $CB$ fölé a másik hárommal ellentétes oldalon. Legyenek e félkörök ívfelező pontjai $E$, $F$, $G$, $H$. Mutassuk meg, hogy az $EFHG$ négyszög és a négy félkörív által bezárt idom területének aránya független az $AB$, $BC$, $CD$ szakaszok hosszától.