Si formula_2 es un formula_1-fibrado principal