De igual manera tenemos\[L(P \times P',f) \leq L(P,g) \leq L(P,h) \leq U(P,h) \leq U(P \times P',f) ,\] y de ahí\[U(P,h) - L(P,h) \leq U(P \times P',f) - L(P \times P',f) .\] Así que si\(f\) es integr...De igual manera tenemos\[L(P \times P',f) \leq L(P,g) \leq L(P,h) \leq U(P,h) \leq U(P \times P',f) ,\] y de ahí\[U(P,h) - L(P,h) \leq U(P \times P',f) - L(P \times P',f) .\] Así que si\(f\) es integrable así es\(h\), y como\(L(P \times P',f) \leq L(P,h) \leq U(P \times P',f)\) debemos tener eso\(\int_R h = \int_{R \times S} f\).