theorem :: XPRIMES0:663

not 663 is prime