Осы туындылардың өрнектерін (4.7) теңдеуге апарып қойып, төмендегі теңдеуді аламыз.
Теорема дәлелденді.