Category:Exponential Function is Well-Defined