theorem :: XPRIMES2:6529

6529 is prime