>>460
で?
証明の中で選択関数を固定できることは理解した?