theorem :: XPRIMES0:1529

not 1529 is prime