theorem :: XPRIMES0:1332

not 1332 is prime