Entonces formula_1 es un formula_37-fibrado principal sobre el