Verify Subraction Property of Exponential Function