theorem :: XPRIMES0:286

not 286 is prime