>>411
あとね、部分的に使う定理のステートメントじゃなくてね、主定理のステートメントを書かないとだめだよ