theorem :: NUMBER06:35

ex n being Nat st
( n is perfect_power & n + 1 is perfect_power )