陰性証明とか無駄だから辞めるべき