「いる」→一人でもいればいい、「いない」→世界中を探し回らないといけない…だと思う
後者の方が遥かに大変で、故に「悪魔の証明」なのかと。