theorem :: XPRIMES2:6073

6073 is prime