formula_8 es un fibrado principal sobre formula_8 con