回答

「b-a が成り立つなら」という仮定を言っているのであって、b-aが成り立つならそれ以降も成り立つ、という証明の一部です

この回答にコメントする
疑問は解決しましたか?