>>783
証明全体に影響を与えない些末な間違いですけれど。