theorem :: XPRIMES0:586

not 586 is prime