FALSEの証明は難しい。。