Differensial tenglamalar

y₂>0 bo’lgani uchun , bu tenglikning ung tomoni x ga nisbatan cheksiz funksiya bo’ladi .Keyingi tenglikni har ikkala tomonini x₀ dan x₁ oraliqda integrallaymiz :

Bu keyingi tenglikning chap tomoni nolga teng bo’lib , o’ng tomoni esa musbatdir.