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