Sea formula_6 una cubierta abierta de formula_3, entonces formula_8 es una cubierta abierta de formula_4