theorem :: XPRIMES1:5147

5147 is prime