theorem :: XPRIMES2:6521

6521 is prime