It's absolutely amazing what one can find on YouTube.
Finite Simple Group (Of Order Two) by The Klein Four Group
-----------------------------------------------------------------
The path of love is never smooth,
but mine's continuous for you.
You're the upper bound in the chains of my heart.
You're my Axiom of Choice -- you know it's true.
But lately our relation's not so well-defined,
and I just can't function without you.
I'll prove my proposition, and I'm sure you'll find
we're a finite simple group of order two.
I'm losing my identity.
I'm getting "tensor" every day.
And, without loss of generality,
I will assume that you feel the same way.
Since every time I see you, you just quotient out
the faithful image that I map into.
But when we're one-to-one, you'll see what I'm about,
'cause we're a finite simple group of order two.
Our equivalence was stable;
a principal love bundle sitting deep inside.
But then, you drove a wedge between our 2-forms;
now everything is so complexified.
When we first met, we simply connected.
My heart was open, but too dense.
Our system was already directed
to have a finite limit in some sense.
I'm living in the kernel of a rank-one map;
from my domain, its image looks so blue,
'cause all I see are zeroes -- it's a cruel trap,
but we're a finite simple group of order two.
I'm not the smoothest operator in my class,
but we're a mirror pair, me and you.
So let's apply forgetful functors to the past,
and be a finite simple group...
Let's be a finite simple group...
Let's be a finite simple group of order two. (Why not three?)
I've proved my proposition now, as you can see,
so let's both be associative and free;
and, by corollary, this shows you and I to be
purely inseparable, Q. E. D.
Why can't I think up something this awesome?
In a related story, I am (and have always been) a complete loser.