Assume first that is cyclic. It's easy then to see that, so, where is the radius of the circumcircle of .
Ipalagay na ang unang ay paikot. Ito ay madali at pagkatapos ay upang makita na, Kaya, Kung saan ay ang radius ng circumcircle ng .