Изменения

Тогда <tex>\quad \exists \varphi'(t) \Rightarrow \int\limits_a^b f(x) d x = \int\limits_{t_1}^{t_2} f(\varphi(t)) \varphi'(t) d t</tex>

|proof =

Монотонность <tex>\varphi</tex> не требуется. Это связано с тем, что мы вычисляем определённый интеграл, то есть число.