A1: 14 |^ 8 = ((((((14 * 14) * 14) * 14) * 14) * 14) * 14) * 14 by NUMBER02:4;
1475789057 = 17 * 86811121 ;
hence 17 divides (14 |^ (2 |^ 3)) + 1 by A1, Lm3; :: thesis: verum