theorem Th64: :: NEWTON02:64

for n being Nat
for a, b being odd Nat st 4 divides a - b holds
4 divides (a |^ n) - (b |^ n)