theorem Th10:
  a in Line(a,b) & b in Line(a,b)
proof
  a,b,a are_collinear by Th2;
  hence a in Line(a,b);
  a,b,b are_collinear by Th2;
  hence b in Line(a,b);
end;
