theorem :: NAT_6:45

641 divides Fermat 5 by TT;