theorem :: XPRIMES1:5347

5347 is prime