Açık şekilde $BJ \perp KM$ ve $CJ \perp ML$.
$JFG$ üçgeninde $GM$ ve $FM$ doğruları yükseklik olduğu için $JM$ doğrusu da yüksekliktir. Dolayısıyla $JM \perp FG$, yani $BC \parallel FG$ dir.
$\angle AJC = \dfrac {\angle ABC}{2} = \angle BKM = \angle AKG = \angle AJG$ olduğu için $A$, $K$, $J$, $G$ çemberseldir.
Bu durumda $\angle JAG = \angle GKB = \angle JBM = \angle JFG$ olacağı için $J$, $F$, $A$, $G$ noktaları da çemberseldir.
$\angle FGA = \angle FJA = \dfrac {\angle BCA}{2} = \dfrac{180^\circ - 2\cdot \angle BCJ }{2} = 90^\circ - \angle FGJ \Rightarrow JG \perp AG$.
$\triangle ACT$ de $CG$ hem açıortay hem de yükseklik olduğu için $AC=CT$, benzer şekilde $AB=BS$ dir. $BC=a$, $AC=b$, $AB=c$ ve $u$ yarıçevre ise $BM=u-c$, $CM=u-b$ ve $SM=TM=u$ olacaktır.