∫[-∞,∞](e^(-x^2/2)/√(2π)∫[-∞,ax+b]e^(-t^2/2)/√(2π)dt)dx
=∫[-∞,b/√(1+a^2)]e^(-t^2/2)/√(2π)dt
を示せ