Дәлелдеуі. (4.8) функция (4.7) теңдеудің жалпы шешімі болуы үшін екі шартты қанағаттандыруы керек: Біріншісі параметрлерінің барлық мәндерінде (4.8) функция (4.7) теңдеудің шешімі болуы тиіс. Бұл талап орындалады. (IV-тарау, §1, Т.1 қараңыз).
(4.7) теңдеу үшін көрсетілген D облысында бар болу және жалғыздық теоремасының барлық шарттары орындалатыны белгілі. Екіншісі, кез келген берілген бастапқы
параметрлерінің барлық мәндерінде (4.8) функция (4.7) теңдеудің шешімі болуы тиіс. Бұл талап орындалады. (IV-тарау, §1, Т.1 қараңыз).
, 
, 
(4.9)