theorem :: XPRIMES0:594

not 594 is prime