A1: 241 * 241 = (225 * 257) + 256 ;
thus (3 |^ 128) mod (Fermat 3) = (3 |^ (64 + 64)) mod (Fermat 3)
.= ((3 |^ 64) * (3 |^ 64)) mod (Fermat 3) by NEWTON:8
.= (241 * 241) mod (Fermat 3) by Lm30, EULER_2:9
.= 256 by A1, Th53, NAT_D:def 2 ; :: thesis: verum