A1: 4096 = (15 * 257) + 241 ;
thus (3 |^ 64) mod (Fermat 3) = (3 |^ (32 + 32)) mod (Fermat 3)
.= ((3 |^ 32) * (3 |^ 32)) mod (Fermat 3) by NEWTON:8
.= (64 * 64) mod (Fermat 3) by Lm29, NAT_D:67
.= 241 by A1, Th53, NAT_D:def 2 ; :: thesis: verum