el codominio de formula_12 es formula_13, pero formula_14 siempre toma un valor positivo.