>証明の便宜のため名前を付けて、証明の中だけ固定しているけど、
>証明終わったら固定は解除されて具体的なことは言えない
だから選択関数の固定はローカルでよい、グローバルである必要は無い
と散々言ったよね？
ようやく分った？　頭悪いね