A1: 18496 = (71 * 257) + 249 ;
thus (3 |^ 16) mod (Fermat 3) = (3 |^ (8 + 8)) mod (Fermat 3)
.= ((3 |^ 8) * (3 |^ 8)) mod (Fermat 3) by NEWTON:8
.= (136 * 136) mod (Fermat 3) by Lm27, NAT_D:67
.= 83 * 3 by A1, Th53, NAT_D:def 2 ; :: thesis: verum