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