Nobbs's Theorem

Nobbs:=proc() local m,n,T,S:

T:=Te(m,n):   S:= Contact(m,n):

Colinear(
Pt(   Le(T[1],T[2])   ,   Le(S[1],S[2])   ),
Pt(   Le(T[2],T[3])   ,   Le(S[2],S[3])   ),
Pt(   Le(T[1],T[3])   ,   Le(S[1],S[3])   )
               ):

end: