我的问题是，为什么我们可以把两个形式幂级数的复合在一个形式幂级数上泰勒展开？

我感觉挺很奇怪的。。有人能给出严谨证明吗？

或者给一些资料之类的。。