いることの証明は楽で
いないことの証明は難しい
それだけのこと。