theorem :: XPRIMES0:1664

not 1664 is prime