>>それウソね。個別に証明なんてしてないよ
>>実際に証明読んでる？理解できてる？
>だから（無駄であろうが）と書いたんだけど

君、なんで自分が正しいとおもったの？

いってごらん

＞S6だけ単独、S7だけ単独で証明することができる
＞つまり個別に幾らでも証明することができるわけで

でもそれ、n>=5の場合すべてについての証明じゃないけど
もしかして無限にある個別、すべてについて証明するの？
君は違うといったよね　じゃどうやるの

いっとくけど、実は
P(n)
-----
∀n P(n)
だけではできないよ

ｎ＞＝５の場合の数学的帰納法を使うから
つまり「ｎでできるとき、ｎ＋１でもできる」ということを必ず使ってるから
君が使ってないと思うなら、君は証明を理解できてないってこと　分かる？