A1: 30 |^ 2 = 30 * 30 by WSIERP_1:1;
901 = 17 * 53 ;
hence 17 divides (30 |^ (2 |^ 1)) + 1 by A1; :: thesis: verum