theorem :: XPRIMES0:301

not 301 is prime