theorem :: XPRIMES1:641

641 is prime