幂级数运算性质证明