theorem :: XPRIMES1:5167

5167 is prime