generalized fibre contraction theorem