>>120
元となっている証明と同様に考えればいいんじゃないか