逆用幂的运算性质