theorem :: XPRIMES1:5227

5227 is prime