theorem
  parallelogram a,b,c,d implies parallelogram c,d,a,b
by Th6,Th38;
