theorem :: XPRIMES0:308

not 308 is prime