theorem :: XPRIMES2:6571

6571 is prime