同底数幂的乘方的定义