陰性証明すれば良いだけなのに何でしないんだろ簡単な事でしょ