theorem :: XPRIMES0:595

not 595 is prime