>>769
> >>763->>764
> 上のΣa_n'が収束するって結果はΣa_nがΣa_n'の配列がえ級数の場合も引き続いて使えるんですか！？

定理の仮定(前提）がΣa_nが収束すること、そのとき任意の並べ替えΣa_n'が収束することを示したのが
証明の前半部の前半、そしてその収束値s'が元の級数の収束値s以下になることを示した前半部の後半。
Σa_n'の収束が前半部の前半で示されたのだから、その並べ替えΣa_n''が収束し、その収束値はs'以下になる。
この並べ替えの中には最初の級数Σa_nも含まれるからsはs'以下になる。