theorem :: XPRIMES2:6271

6271 is prime