同底数幂乘法的运算性质