theorem :: XPRIMES0:1598

not 1598 is prime