for n being Nat
for i, j, m being Integer st i mod m = j mod m holds
(i |^ n) mod m = (j |^ n) mod m