4.2.4.0.1 証明

省略。一松を見よ。