theorem Th59:
  congr a,b,c,d & not a,b,c are_collinear implies parallelogram a,b ,c,d
by Th57,Th58;
