theorem :: XPRIMES2:6547

6547 is prime