theorem :: XPRIMES0:597

not 597 is prime