theorem :: XPRIMES1:4073

4073 is prime