無い事の証明って良く知られている通りかなり馬鹿馬鹿しいね。
「無い事の証明ができないこと」にとって「無いという事」は必要条件でしかない。

有る事の証明のほうが早いです。