Incluida a prova do item do teorema de linearidade da integral para funções simples não negativas