theorem :: XPRIMES2:6133

6133 is prime