theorem :: XPRIMES0:588

not 588 is prime