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