theorem :: XPRIMES0:596

not 596 is prime