これはとなって矛盾する。対して帰納法の仮定を用いることによりとなって矛盾する。対して帰納法の仮定を用いることによりとなって矛盾する。Q.E.D.明日はfunyunanoさんがGaloisのイケメンさについて語ってくださいます。いう大難問に挑戦するのが筋がいいと思っています。Kontsevich-Zagierの意味での周期環。このような場合はあり得る。*4:二乗して整数になるような有理数は元々整数である。*5:左辺については複合同順であることに注意。