theorem :: XPRIMES0:303

not 303 is prime