Егер функциясы қалыпты системасының интегралы бола тұрып және оның айнымалылары бойынша үзіліссіз дербес туындылары бар болса, онда әрбір дербес шешімнің бойында функциясы тұрақты санға айналатындықтан оның толық дифференциалы d де дербес шешімнің бойында нөлге тең болады, демек
функциясы 
қалыпты системасының интегралы бола тұрып және оның 
айнымалылары бойынша үзіліссіз дербес туындылары бар болса, онда әрбір дербес шешімнің бойында 
функциясы тұрақты санға айналатындықтан оның толық дифференциалы d
де дербес шешімнің бойында нөлге тең болады, демек