The equation is given below:
And the definition of integrale for nonnegative functions is given below:
And we already proved the following:
**My Proof is: **
It follows directly from the definition of the integral and from $(5)$ in proposition $(8).$
My question is:
Is this proof correct or there are some precise details that should be included ?