On the other hand, we have OA = OB, since the point O is the circumcenter of triangle ABC, and thus we get . Together with, this yields that the triangles and are similar, what, in turns, shows us that .
Sa kabilang dako, mayroon kaming mga OA = ob, dahil sa ang point O ay ang circumcenter ng tatsulok ABC, at sa gayon ay makuha namin ang . Kasama, Ito ay magbubunga na ang mga triangles at ay katulad, ano, sa una-una, ay nagpapakita sa amin na .