theorem Th12:
  a=b or b=c or c =a implies a,b,c are_collinear
by PARSP_1:25;
