
Theorem 21: 
Stack lebesgue integral 

Theorem 22: 
Linearity of lebesgue integral 

Theorem 23: 
Dominated convergence theorem 

Theorem 24: 
Integral modulus inequality 

Theorem 25: 
Axiom of choice 

Theorem 26: 
A generator of the product sigmaalgebra 

Theorem 27: 
Countable product with countable base 

Theorem 28: 
Measurability w.r. to product sigmaalgebra 

Theorem 29: 
Measurability of partial function 

Theorem 30: 
Measurability of partially integrated function 

Theorem 31: 
Fubini theorem (nonnegative map, double integral) 

Theorem 32: 
Fubini theorem (nonnegative map, multiple integral) 

Theorem 33: 
Fubini theorem in L1 

Theorem 34: 
[a,b] is a compact subset of R 

Theorem
35: 
Compact subsets are closed when hausdorff 

Theorem
36: 
Compactness criterion in R 

Theorem 37: 
Extrema of continuous map with compact domain 

Theorem 38: 
Rolle theorem 

Theorem
39: 
TaylorLagrange theorem 

Theorem
40: 
Jensen inequality 


