P3P4P5P_3P_4P_5P3P4P5 は PPP を中心とする P1P2P3P_1P_2P_3P1P2P3 回転で P1P5P_1P_5P1P5 から得られる。直線 P3P_3P3 は P1P⊥P3PP_1P\perp P_3PP1P⊥P3P を通る垂線に移るので、PPP。従って P1P3P_1P_3P1P3 は直径 の円上にある。