Теорема 2 (1.25) өрнек D облыста анықталған екі айнымалы функциясы F(x,y) -тің толық дифференциалы болу үшін
= (1.26) теңдігінің осы D облысында орындалуы қажетті және жеткілікті.
Дәлелдеуі 1) Алдымен (1.26) шарттың қажеттілігін дәлелдейік. Ол үшін (1.25) өрнек қандайда бір F(x,y) функциясының D облысында толық диффернциалы деп жорыйық, демек
=
(1.26) теңдігінің осы D облысында орындалуы қажетті және жеткілікті.