Finite Simple Group (of Order Two)

Finite Simple Group (of Order Two) is a wonderful love math song! Check out the video here (thanks k1000).

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'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.