「ある」なら証明できる
「ない」の証明はできない
よって「ない」が正しい