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