 So we have a principal bundle formula_49.The theory of classifying spaces gives us an induced push-forward fibration formula_50 where formula_51 is the classifying space of formula_43.Here is an outline