theorem :: XPRIMES1:4967

4967 is prime