Integral substitution