theorem :: XPRIMES0:664

not 664 is prime