theorem :::Th41: :: AFF_1:27
  q1 in Line(p1,p2) & q2 in Line(p1,p2) implies Line(q1,q2) c= Line(p1,p2)
         by RLTOPSP1:74;
