theorem Th28:
  not a,b,c are_collinear & a,b // c,d & c <>d & c,d,x are_collinear
  implies not a,b,x are_collinear
by Th8,Th27;
