|
Пусть  - первообразная для  . Но интеграл с переменным верхним пределом  - тоже первообразная для  , так как  . Эти первообразные отличаются на произвольную постоянную,
т.е.   .
Положим  , тогда   . Но  , следовательно  . Т.о.   .
При  , получим  или, заменив обозначение переменной
интегрирования на  ,   |
