Twierdzenie o całkowaniu przez podstawienie
Jeżeli/jest funkcją ciągłą, a ę ma ciągłą pochodną (jest klasy C1), to wóczas \Ax)dx = \f{ę(t))ę'(t)dt = F{ę(t)) + C, gdzie i7 jest funkcją pierwotną dla funkcji/