しかも、 (1) と同じように (2) を証明しているのではなく、
トリッキーなやり方で、しかも (1) の結果を利用して証明しています。

見ていると恥ずかしくなるような証明ですね。