思ったんだけど、塩であることの証明はできても、塩じゃないことの証明って難しくね？