陰性証明のが正しくね?