theorem FourPerfectPower: :: NUMBER06:37

for n being even perfect_power Nat holds 4 divides n