theorem :: XPRIMES1:5101

5101 is prime