theorem :: XPRIMES0:1539

not 1539 is prime