Suppose that for the system described above, there are polynomial functions Vx, wx,u, and pix,u so that: Vx is positive definite in a neighbourhood of the origin, wx,u > 0 and pix,u ≥ 0 in W Then, if
Suponiendo que para el sistema existen funciones Vx, wx,u y pix,u tales que Vx es positiva definida en una vecindad del origen wx,u > 0 y pix,u ≥ 0 en D entonces