theorem :: XPRIMES1:5081

5081 is prime