Real exponential function/Base/Rules/Fact/Proof/Exercise

Prove that for the exponential function

the following calculation rules hold (where and ).