theorem :::Th40: :: AFF_1:26
  p1 in Line(p1,p2) & p2 in Line(p1,p2) by RLTOPSP1:72;
