theorem :: XPRIMES0:333

not 333 is prime