M:コンパクトなn-dim可微分多様体でN=S^(n-4i)を球面として次元は4i＜(n-1)/2を満たすとする
このとき可微分写像f:M→Nに対して
y∈Nが正則値ならf^-1(y)は4i次元の可微分多様体になりますが
その法束が自明である事はどのようにして言えるのでしょうか

具体的な本の中で使われていた事実なので，いろいろ仮定がついていますが
どれが必要なのかはわからないので全て書きました