theorem :: XPRIMES1:4969

4969 is prime