証明できるから不定であることと矛盾する。