theorem :: XPRIMES0:1588

not 1588 is prime