Un formula_1-fibrado principal es un fibrado