22 |^ 2 = 22 * 22 by WSIERP_1:1;
hence (22 |^ 2) - 1 = (3 * 7) * 23 ; :: thesis: verum