theorem lemmandiv: :: NUMBER01:16

for n, k being Nat st n is odd holds
n divides (k |^ n) + ((n - k) |^ n)