theorem :: XPRIMES0:1594

not 1594 is prime