Por tanto, en el techo: formula_7 y formula_8, es decir, formula_9 y formula_10.