A1:
((164 * 332) + 1) * ((164 * 332) + 1) = ((263 * 172) * ((256 * 256) + 1)) + (123 * 503)
;
(3 |^ 32) mod (Fermat 4) =
(3 |^ (16 + 16)) mod (Fermat 4)
.=
((3 |^ 16) * (3 |^ 16)) mod (Fermat 4)
by NEWTON:8
.=
(((164 * 332) + 1) * ((164 * 332) + 1)) mod (Fermat 4)
by Lm35, NAT_D:67
.=
123 * 503
by A1, Th54, NAT_D:def 2
;
hence
(3 |^ 32) mod (Fermat 4) = 123 * 503
; verum