theorem :: XPRIMES0:598

not 598 is prime