theorem Th32:
  parallelogram a,b,c,d implies parallelogram b,a,d,c
by PARSP_1:23,Th28;
