Continued proof of integration theorem