背理法を使うまでも無い。
無駄。