theorem :: XPRIMES2:6577

6577 is prime