ある、は証明できるが
ない、は証明できない
大卒なら容易にわかることよね〜