theorem :: XPRIMES1:661
661 is prime