theorem Four2NotPerfect: :: NUMBER06:38

for k being Nat holds not (4 * k) + 2 is perfect_power