http://pi.math.cornell.edu/~hatcher/AT/AT.pdf
Thom類について見ていく。
Corollary 4D.9
(D^n, S^{n-1}) \to (E, E') \to BがThom類 c \in H^n(E,E';R)を持つとする。
この時、H^i(B;R) \to H^{i+n}(E,E';R)をb \mapsto p^*(b) \cup cとすると、これは同型で、i < nに対してH^i(E,E';R)=0となる。
Leray-Hirshを使う。