To prove the theorem, we analyze the map fibrewise, reducing a global problem to simpler local computations.

A fibrewise analysis of the bundle revealed subtle variations in each fiber.