②と③を満たす変数を算出し、それが①を満たしていることを確認しているため、解答のような記載が必要です。仮に①を満たしていなければ、解無しになるのかと思います。