Finalizada a prova do linearidade da integral para funções simples positivas e incluida a definição de integrais de funções não negativas