Finalizada seção de algebra de conjuntos. Iniciando seção de teoremas.