Sum of fibers over f is equivalent to its domain.