应用收敛级数性质,证明