theorem :: XPRIMES0:539

not 539 is prime