AB=A₁B₁

AC=A₁C₁

BC=B₁C₁

AP=A₁P₁

PC=P₁C₁

AO=OC

BO-ն ընդհանուր է

<1=<2

<AOB=<BOC

AB=BC