Si la derivada respecto al tiempo de formula_7 (la función candidata de Liapunov) está localmente semidefinida negativa, entonces existe un entorno formula_16 centrado en 0 tal que