证明;∫(4,0)e^x(4-x)dx=2∫(2,0)e^(4t-t^2)dt