有ることより無いことを証明する方が難しいからな