>>375
>多項式の加法は形式和で表現された多項式f,gに対してf+gを各係数の和を取った多項式とする関数+のこと
だから整数環が多項式環に含まれているんだよね？
「各係数の和」の部分は自然数の加法と何が違うんですかね？
そのまま自然数の加法を用いればいいじゃないのかね？