居ない(無い)ことは証明する必要はない
居る(有る)ことが証明できなければ
その時点では居ないと言っていい