陰性証明はアテにならんのではないんか