theorem :: XPRIMES2:6569

6569 is prime