Věta o integraci substitucí

Jsou-li f, g funkce a f [g] jejich superpozice, pak při vhodné volbě integračních konstant platí ∫f [g] * g' = (∫f)[g], pokud tyto integrály existují.