theorem :: XPRIMES1:4951

4951 is prime