theorem Th10:
  a,b,c are_collinear implies a,c,b are_collinear & c,b,a
  are_collinear & b,a,c are_collinear & b,c,a are_collinear &
  c,a,b are_collinear
by PARSP_1:24;
