Integration Partial Function Theorem