17 |^ 2 = 17 * 17 by WSIERP_1:1;
hence (17 |^ 2) + 1 = (2 * 5) * 29 ; :: thesis: verum