theorem :: NAT_6:44

not Fermat 5 is prime by TT;