(to the tune of New York, New York!)
Start with the base case, and if it's alright
I will assume the truth of it for n and then
My old chewed up pen, is longing to write
A joyful Q.E.D. for it, oh n+1.
I want to prove this conjecture so I can sleep
I've counted subgroups and orders and sets - now let me count sheep!
My problem set blues are melting away
I'll find a brand new proof for it, oh n+1
If I can make it there, I'll make it anywhere
Oh n+1, oh n+1!