(to the tune of Frère Jacques)
Take the base case,
Take the base case,
n is one,
n is one,
This is good to start with,
This is good to start with,
We're not done,
We're not done.
Now consider,
Now consider,
n less one,
n less one,
If we prove it for n,
If we prove it for n,
Then we're done,
Then we're done.
For all n,
For all n,
Now you see,
Now you see,
Our conjecture is true,
Our conjecture is true,
Q.E.D.,
Q.E.D.