Verify Addition Property of Exponential Function