theorem :: XPRIMES0:592

not 592 is prime