theorem Th33:
  a is quadratic_residue iff Lege_p(a) = 1
  by Def5;
