theorem :: XPRIMES0:1333

not 1333 is prime