Music, math&love(¿?)

It's a big true that there are a lot of freaks in math world, even when they talk about love. This is the proof:

The lyric (translated) is as follows:

El camino hacia el amor nunca es suave
Pero el mio es continuo para ti
Eres la cota superior en la cadena de mi corazon
Eres mi Axioma de Eleccion, sabes que es verdad

Pero sin embargo, nuestra relacion no está bien definida
Y no puedo calcular esa funcion sin ti
Voy a demostrar mi proposicion y estoy seguro de que la entenderas
Somos un grupo simple y finito de orden dos

Estoy perdiendo mi identidad
Estoy obteniendo el tensor cada dia
Y sin perdida de generalidad
Asumo que sientes en ese mismo modo

Porque cada vez que te veo, simplemente sacas el cociente
La imagen fiel que he mapeado en mi
pero cuando estemos uno a uno podras ver que hay en mi
Porque somos un grupo simple finito de orden dos

Nuestra equivalencia es estable
Un conjunto principal de amor asentado profundamente
Pero entonces introdujiste una discontinuidad entre nuestras dos formas
Ahora todo se ha vuelto complejo

Cuando hablamos la primera vez, simplemente conectamos
Mi corazon esta abierto pero es demasiado denso
Nuestro sistema ya fue dirijido
para tener un limite finito, en algun sentido

Vivo en el nucleo de rango uno
Desde mi dominio, la imagen parece tan deprimente,
Porque todo lo que veo son ceros, es una trampa cruel
Pero somos un grupo simple finito de orden dos

No soy el mas suave de los operadores en mi clase
pero somos imagenes, tu y yo
Asi que dejame aplicar los operadores de olvido al pasado
y seamos un grupo simple finito, seamos un grupo simple finito
vamos a ser un grupo simple finito de orden dos
(En el publico: “Porque no de orden tres?”)

He demostrado mi proposicion, como puedes ver
asi que seamos ambos asociativos y libres
Corolario: Esto demuestra que tu y yo podemos ser
puros e inseparables. C.Q.D (Como quería demostrar)