Twitter threads unrolled.
Eu sei uma prova de que existem dois números irracionais tais que um levantado à potência do outro dá um número racional e este rodapé tem quase o tamanho certo para ela.