$ABC$ nin içteğet çemberinin merkezi $I$ olsun.
$A,I,O$ doğrusaldır.
$\angle IJC=\angle IOC = 90^\circ$ olduğu için $I,J,O,C$ çemberseldir. $\angle OJC = \angle OIC = \angle IAC + \angle ICA = \dfrac{\angle A + \angle C}{2} = \angle BJM$. Bu da $O, J, M$ doğrusal demektir.