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