Теорема. Агар функция ва унинг хусусий ҳосиласи . нуқтани ўз ичига олган бирор Dсоҳада узлуксиз бўлса, у ҳолда . дифференциал тенгламанинг да , яъни шартни қаноатлантирувчи ечими мавжуддир ва бу ечим ягонадир.
Юқори тартибли дифференциал тенгламалар
(1)
(2)
(3)
Тартибини пасайтириш мумкин бўлган юқори тартибли дифференциал тенгламалар.