But then d does as well, which completes the proof.
しかしすると d もそうなので、証明が完了する。