だから陰性証明のほうが大事って言っただろ