Sea formula_175 Por definición, tenemos