補助円の角の等式から Q1Q4∥Q2Q3Q_1Q_4\parallel Q_2Q_3Q1Q4∥Q2Q3、Q1Q2∥Q3Q4Q_1Q_2\parallel Q_3Q_4Q1Q2∥Q3Q4 を得る。連続する補助円の中心は CCC 上の弧の中点で、対応する中心弦は垂直である。従って Q1Q4⊥Q1Q2Q_1Q_4\perp Q_1Q_2Q1Q4⊥Q1Q2 である。