ない事の証明ってどうやるの
素朴な疑問としてある