>>22
つづき

５）
このシッポの先に残る係数で0にならない部分は、多項式環R[X] からはみ出す部分です
この多項式環R[X] からはみ出す部分があるから、同値類内の任意の形式的冪級数においては、”Fp'=Fp-p' not∈R[X] ”となります
この多項式環R[X] からはみ出すシッポの部分は、任意の同値類内の形式的冪級数Fp'=Fp-p'が、必ず持っているシッポです
この多項式環R[X] からはみ出すシッポの部分は、決して空集合にはなりえない。∵ 空集合なら、Fp∈R[X] で矛盾です
この多項式環R[X] からはみ出すシッポの部分は、常に可算無限長の数列を成します。∵ ∞−(ｎ0-1)＝∞だから。つまり、列の長さで、無限大の長さの数列で先頭の有限ｎ0-1個の数を除いても、必ず∞の長さの列が残るからです。
QED

お分かりかな？
これ、”できる”数学科生なら理解可能だろうが、”落ちこぼれ”のあなたには理解できないかも知れないねぇ（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0〜∞ a_nX^n=a_0+a_1X+a_2X^2+・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。

つづく