take 8 ; :: thesis: ( 8 is perfect_power & 8 + 1 is perfect_power )
3 to_power 2 = 3 * 3 by NEWTON:81;
hence ( 8 is perfect_power & 8 + 1 is perfect_power ) by POWER:61; :: thesis: verum