A,b,c سه نقطه دلخواه روی دایره ای هستند بطوریکه زاویه abc > 90
خط ab و خطی که عمود بر ac در نقطه c خارج شده است یکدیگر را در نقطه d قطع می کنند.
عمود وارد از d بر ao دایره ao,ac را به ترتیب در k,e,f قطع می کنند.
اثبات کنید دوایر محیطی cfd , bfd در نقطه f مماسند.