yellowpigs.net

## Oh n+1!

(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*!