Nagel's Theorem

Nagel:=proc() local m,n,T:

T:=Te(m,n):

Concurrent(
Le(  T[1]   ,   PtLeCe (Le(T[2],T[3]), Incircle(m,-1/n))   ),
Le(  T[2]   ,   PtLeCe (Le(T[1],T[3]), Incircle(-1/m,n))   ),
Le(  T[3]   ,   PtLeCe ( Le(T[1],T[2]), Incircle(-1/m,-1/n))  )
                    ):

end: