theorem :: XPRIMES0:1596

not 1596 is prime