>>198
a=1を示したいからa≧2を仮定して矛盾を導いてる
a=1になったら変数がaという変数が消えてときやすくなる