>>632
いないでしょ、陰性証明が必要なだけだから