>>536
対偶で逆は示されないのは当たり前だろ