theorem
  mlt(R1,R2) = mlt(R2,R1) by FINSEQOP:33;
