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