A1: 6561 = (25 * 257) + 136 ;
thus (3 |^ 8) mod (Fermat 3) = (3 |^ (4 + 4)) mod (Fermat 3)
.= ((3 |^ 4) * (3 |^ 4)) mod (Fermat 3) by NEWTON:8
.= (((3 |^ 4) mod (Fermat 3)) * ((3 |^ 4) mod (Fermat 3))) mod (Fermat 3) by NAT_D:67
.= 136 by A1, Lm26, Th53, NAT_D:def 2 ; :: thesis: verum