Az $ABCDEF$ gömbhatszög csúcsai és oldalívei egy félgömbön helyezkednek el. Az $AB$ oldalív merőleges a $BC$ ívre, az $AF$ ív merőleges az $EF$ oldalívre, továbbá $AB=AF$, $BC=CD$, és $DE=EF$. Igazoljuk, hogy az $AD$ és $CE$ főkörívek merőlegesek egymásra.