Es decir que formula_23 tiene inversa izquierda