I've just spent LITERALLY AN HOUR recording myself proving a pretty simple fact about fibonacci numbers. Online later, if youtube can cope.