Si formula_14 es el mapa identidad de "F", el fibrado es formula_16.