theorem
  (p |^ k) mod m = ((p mod m) |^ k) mod m by EULER_2:22;
