>>112
仮定Dって成立する場合としない場合に分けて考えるような性質のものじゃないだろ

「仮定Dが成立しない場合の証明を加えた」という言葉から、
もう新版も読まなくてもいいことがわかったよ