Teorema da Mãe Infinita
A teoria da mãe infinita foi enunciada pela primeira vez num fatídico dia, enquanto Thales estava numa monitoria discutindo o EP com o Monitor Fernando no grupo de WhatsApp, quando Zake faz um comentário, retrucado então por Davi, assim enunciando a possibilidade de provar por indução que sua mãe foi comida. No mesmo tempo, na primeira aula presencial optativa de 2021 no CM, estreada pela turma T31, quando foi desenvolvida então a teoria por Pupo em auxilio de Zé em LaTeX e assim, oficializada.
Enunciado
Demonstração
Caso Base: Eu comi uma mãe (mãe 1);
Passo Indutivo: É verdade que eu comi a mãe k);
Dado que mães conversam entre si, caso eu tenha comido a mãe k, certamente ela comentaria com a mãe k+1, que, após saber do meu incrı́vel desempenho*, certamente seria alvo fácil para minha comida.
Dessa forma, como comi a mãe 1, certamente comi a mãe 2, e assim por diante, de modo que comi infinitas mães.
Corolário
Segue o teorema que, em particular, comi a sua mãe.
*
* Teorema do meu incrível desempenho - Tenho uma prova incrı́vel para esse teorema, mas me falta espaço na página, assim fica como exercı́cio para o leitor.
Já foi provado por alunos do curso.