x>0かつy>0 → x+y>0 で対偶はいいんですよね?