theorem :: NUMBER06:40

for n being Nat holds
( not n is perfect_power or not n + 1 is perfect_power or not n + 2 is perfect_power or not n + 3 is perfect_power )