幂指数运算法则