>>368
対偶を証明する。