Оскільки OA = OB = OC, OAB і OBC є рівнобедреними трикутниками, із рівності кутів при основі рівнобедреного трикутника, OBC = OCB і BAO = ABO. Нехай γ = BAO і δ = OBC. Оскільки сума кутів прямокутного трикутника рівна двом прямим кутам, отримаємо 2γ + γ ′ = 180°