>>313 の説明は高木論文の性質を的確に表現していて分かりやすい
氏はそれはローカル変数だなどと返したが、それならばスコープ（適用範囲）を明らかにしなければ混乱のもととなるし、実際に氏自身も混乱している。
スコープを明らかにするために補題を設けるなどの方法が数学にはあるし、実際に何度も指摘を受けたがついに採用されることはなかった。
そうしてしまうとゴマカシが利かないからそうしない、という説にはこれまでの氏の言動を見ても説得力がある