間違ってることが後で判明して修正しなくちゃいけないようなものを証明と呼ぶのか?