theorem :: XPRIMES2:6101

6101 is prime