Verificación de la unicidad local para ecuaciones no lineales