theorem
  sqr(F) = mlt(F,F);
