>>922
自己レス。私のでも良いが、フォルスターのでも
間違いではないですね。出て来たGijは、(どの
ランクn-1のベクトル束に対応するかは明示する必要なく)
帰納法の仮定をつかえますから。
(でも922のほうが分かりやすいとは、まだ思っていますが)