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