@haggismaths that fact is my favourite fact about fibonacci numbers. There's a nice easy proof by induction.