WXWXWX が ω1\omega_1ω1 の直径で Z∈ω1Z\in\omega_1Z∈ω1 なので、円周角より ∠WZX=90∘\angle WZX=90^\circ∠WZX=90∘ である。同様に WYWYWY が ω2\omega_2ω2 の直径であることから ∠WZY=90∘\angle WZY=90^\circ∠WZY=90∘ となる。したがって XXX、YYY はともに ZZZ を通り WZWZWZ に垂直な直線上にある。