Verify Subtraction Property of Exponential Function