O caminho do amor nunca é suave The path of love is never smooth Mas o meu é contínuo para você But mine’s continuous for you Você é o limite superior nas cadeias do meu coração You’re the upper bound in the chains of my heart Você é o meu axioma da escolha, você sabe que é verdade You’re my axiom of choice, you know it’s true
Mas ultimamente a nossa relação não é tão bem definida But lately our relation’s not so well-defined E eu simplesmente não pode funcionar sem você And I just can’t function without you Eu vou provar a minha proposta e eu tenho certeza que você vai encontrar I’ll prove my proposition, and I'm sure you’ll find Somos um grupo simples finito de ordem dois We’re a finite simple group of order two
Estou perdendo minha identidade I'm losing my identity Estou ficando tenso cada dia I'm getting tensor every day E sem perda de generalidade And without loss of generality Vou assumir que você se sente da mesma maneira I will assume that you feel the same way
Uma vez que cada vez que te vejo, você só quociente de fora Since every time I see you, you just quotient out A imagem fiel que eu mapear para The faithful image that I map into Mas quando estamos um-para-um que você vai ver o que eu estou a ponto But when we’re one-to-one, you’ll see what I'm about Porque nós somos um grupo simples finito de ordem dois ‘Cause we’re a finite simple group of order two
Nossa equivalência era estável Our equivalence was stable Um principal pacote amor sentado lá, no fundo A principal love bundle sitting deep inside Mas então você dirigiu uma cunha entre as nossas duas formas But then you drove a wedge between our two-forms Agora tudo é tão complexificada Now everything is so complexified
Quando nos conhecemos, nós simplesmente conexa When we first met, we simply connected Meu coração estava aberto, mas muito denso My heart was open but too dense O nosso sistema já foi dirigido Our system was already directed Para ter um limite finito, em algum sentido To have a finite limit, in some sense
Eu estou vivendo no kernel de um rank-one mapa I'm living in the kernel of a rank-one map Do meu domínio, a sua imagem parece tão azul From my domain, its image looks so blue Porque tudo que eu vejo são zeros, que é uma armadilha cruel ‘Cause all I see are zeroes, it’s a cruel trap Mas nós somos um grupo simples finito de ordem dois But we’re a finite simple group of order two
Eu não sou o operador mais suave na minha classe I'm not the smoothest operator in my class Mas nós somos um par espelho, eu e você But we’re a mirror pair, me and you Então, vamos aplicar functors esquecidos ao passado So let’s apply forgetful functors to the past E ser um simples grupo finito, um grupo simples finitos And be a finite simple group, a finite simple group Vamos ser um simples grupo finito de ordem dois Let’s be a finite simple group of order two (Oughter: Por que não três?) (Oughter: Why not three?)
Provei minha proposta agora, como você pode ver I’ve proved my proposition now, as you can see Então vamos ambos estar associativo e livre So let’s both be associative and free E por corolário, isso mostra que você e eu para ser And by corollary, this shows you and I to be Puramente inseparáveis. Q.E.D. Purely inseparable. Q.E.D.