theorem :: XPRIMES0:1595

not 1595 is prime