Cuando formula_11 tiene inversa, tiene exactamente una única inversa.