theorem Th15:
  a,b,c are_collinear & a,b,d are_collinear implies a,b '||' c,d
by PARSP_1:35;
