To prove this, first extend the tangent to circle through to intersect again at, so that is the circumcircle of .
Upang mapatunayan ito, ang unang-extend ang mga padaplis na bilog sa pamamagitan ng sa bumalandra muli, Kaya na ay ang circumcircle ng . Sapagkat / simula ng at, .