>>624
＞n≧5の場合のSnというものをそれぞれ個別に認識しているってことだよ
それ、あなたの感想ですよね？

＞証明ではもちろん自由変数のnを使ってそのそれぞれのSnを認識しているし
それ、あなたの感想ですよね？

＞帰納法自体数学者は個別にP(n)を証明しているイメージで使ってる
それ、あなたの感想ですよね？

＞君が書いたS5は単独でと認識してるなら
＞S6単独で証明してもいいしS7単独で証明してもいい
＞ってことも認識出来るんじゃない？
それウソね。個別に証明なんてしてないよ
実際に証明読んでる？理解できてる？

＞つまり個別にSn（対称群のモデル）を認識しているということだよ
それ、あなたの感想ですよね？

頭、大丈夫？