theorem :: XPRIMES2:6047

6047 is prime