>>629
この証明は演習問題とする