theorem :: XPRIMES1:659

659 is prime