theorem FourDivPower: :: NUMBER06:36

for n being even Nat
for k being Nat st k > 1 holds
4 divides n |^ k