A1: 6561 = (0 * ((256 * 256) + 1)) + 6561 ;
thus (3 |^ 8) mod (Fermat 4) = (3 |^ (4 + 4)) mod (Fermat 4)
.= ((3 |^ 4) * (3 |^ 4)) mod (Fermat 4) by NEWTON:8
.= (81 * 81) mod (Fermat 4) by Lm33, NAT_D:67
.= 6561 by A1, Th54, NAT_D:def 2 ; :: thesis: verum