32 |^ 2 = 32 * 32 by WSIERP_1:1;
hence (32 |^ 2) - 1 = (3 * 11) * 31 ; :: thesis: verum