take 4 ; :: thesis: ( 4 is even & 4 is perfect_power )
A1: 2 * 2 is even ;
2 |^ 2 is perfect_power ;
hence ( 4 is even & 4 is perfect_power ) by A1, NEWTON:81; :: thesis: verum