theorem :: XPRIMES0:304

not 304 is prime