同底数幂的乘法推导的过程