《Finite Simple Group(of Order Two)》歌词

[00:00:00] Finite Simple Group (of Order Two) - Klein Four

[00:00:00] Composed by：Matthew Salomone

[00:00:00] The path of love is never smooth

[00:00:06] But mine's continuous for you

[00:00:09] You're the upper bound in the chains of my heart

[00:00:14] You're my Axiom of Choice

[00:00:16] You know it's true

[00:00:19] But lately our relation's not so well-defined

[00:00:24] And I just can't function without you

[00:00:28] I'll prove my proposition and I'm sure you'll find

[00:00:32] We're a finite simple group of order two

[00:00:38] I'm losing my identity

[00:00:42] I'm getting tensor every day

[00:00:46] And without loss of generality

[00:00:51] I will assume that you feel the same way

[00:00:56] Since every time I see you

[00:00:58] You just quotient out

[00:01:00] The faithful image that I map into

[00:01:05] But when we're one-to-one you'll see what I'm about

[00:01:08] 'Cause we're a finite simple group of order two

[00:01:14] Our equivalence was stable

[00:01:18] A principal love bundle sitting deep inside

[00:01:22] But then you drove a wedge between our two-forms

[00:01:27] Now everything is so complexified

[00:01:33] When we first met

[00:01:35] We simply connected

[00:01:39] My heart was open but too dense

[00:01:43] Our system was already directed

[00:01:47] To have a finite limit

[00:01:49] In some sense

[00:01:52] I'm living in the kernel of a rank-one map

[00:01:56] From my domain

[00:01:57] It's image looks so blue

[00:02:00] 'Cause all I see are zeroes it's a cruel trap

[00:02:04] But we're a finite simple group of order two

[00:02:09] I'm not the smoothest operator in my class

[00:02:14] But we're a mirror pair

[00:02:15] Me and you

[00:02:18] So let's apply forgetful functors to the past

[00:02:22] And be a finite simple group

[00:02:24] Be a finite simple group

[00:02:26] Let's be a finite simple group of order two

[00:02:33] I've proved my proposition now

[00:02:36] As you can see

[00:02:38] So let's both be associative and free

[00:02:42] And by corollary

[00:02:44] This shows you and I to be

[00:02:47] Purely inseparable Q E D