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