theorem :: XPRIMES0:529

not 529 is prime