Если существует функция Ляпунова V(X), знакоопределенная вобласти D 
Г, полная производная котоой по времени в силу системы 
есть функция знакопостоянная, знака противоположного V(X) или тождественно равная нулю, то тривиальное решение этой системы устойчиво.
