An explicit diophantine definition of the exponential function