theorem :: XPRIMES2:6551

6551 is prime