ないことの証明は難しい