Using this proposition, the algorithm to find the Lyapunov function preserves the first three steps used in systems without constraints.
Entonces, el algoritmo para encontrar una función de Lyapunov conserva los tres primeros pasos del algoritmo para sistemas sin restricciones.