Theorem: if f ang g are homotopic maps from N to M than and are equivalent bundles.
Corollary: if M is contractible to a point, than any bundle over M is trivial