theorem Th37:
  parallelogram a,b,c,d implies not parallelogram a,b,d,c
by Th36;
