theorem :: XPRIMES0:284

not 284 is prime