Adição de documentação dos Teoremas