>>227
例えばｘ＝１であることを証明するときには

ｘが未知のものとして話をすすめる
ｘ＝１でないとして話をすすめる

のいずれかである

お前は「なぜｘ＝１としてないのですか？」と言ってるのと同じ