仮定法というものです!!
最初に証明したいb＝0とは逆のb＝＼0と仮定して、それでは矛盾が起きるので、b＝0であると証明しています!!