theorem Th50:
  a,b congr c,d & not a,b,c are_collinear implies parallelogram a,b ,c,d
by Th48,Th49;
