– argumentti, belgisiz funkciyanı hám onıń tuwındısın baylanıstıratuǵın $y'(x)=F(x,y)$ túrindegi teńleme. Differenciallıq teńlemeni qanaatlandıratuǵın hár qanday funkciya onıń sheshimi delinedi.