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