真=1じゃない事を示すいい証明