theorem :: XPRIMES2:6053

6053 is prime