A1: 26 |^ 4 = ((26 * 26) * 26) * 26 by POLYEQ_5:3;
456977 = 17 * 26881 ;
hence 17 divides (26 |^ (2 |^ 2)) + 1 by A1, Lm2; :: thesis: verum