Si la derivada respecto al tiempo de la función candidata de Liapunov formula_7 está localmente definida negativa, esto es si existe un entorno formula_16 de 0 tal que: