theorem :: XPRIMES0:1662

not 1662 is prime