theorem :: XPRIMES1:4547

4547 is prime