>>96
でも陰性証明でなんとかなりそうじゃんよ