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