14 |^ 2 = 14 * 14 by WSIERP_1:1;
hence (14 |^ 2) - 1 = (3 * 5) * 13 ; :: thesis: verum