theorem :: XPRIMES0:302

not 302 is prime