theorem :: XPRIMES0:305

not 305 is prime