無いという証明はあるんかいな