theorem Th69: :: NUMBER17:69

for a, n, x, y being Nat st a,n are_coprime & a <> 0 & n <> 0 & x,y are_congruent_mod Euler n holds
a |^ x,a |^ y are_congruent_mod n