A1:
((14 * 1367) + 1) * ((14 * 1367) + 1) = (5589 * ((256 * 256) + 1)) + (52 * 289)
;
(3 |^ 128) mod (Fermat 4) =
(3 |^ (64 + 64)) mod (Fermat 4)
.=
((3 |^ 64) * (3 |^ 64)) mod (Fermat 4)
by NEWTON:8
.=
(((14 * 1367) + 1) * ((14 * 1367) + 1)) mod (Fermat 4)
by Lm37, NAT_D:67
.=
52 * 289
by A1, Th54, NAT_D:def 2
;
hence
(3 |^ 128) mod (Fermat 4) = 52 * 289
; verum