Adição de teoremas e correção de formatação