Изменения
→Лемма: fixup
'''База:''' При <tex>n = 2</tex> равенство очевидно.
'''Переход:''' Пусть <tex>n > 2</tex> и <tex>f_n = f_{n-1}f_{n-2}</tex>. <tex>f_{n+1} = h(f_n) = h(f_{n-1}f_{n-2})</tex>. Т.к. h {{---}} линейна (т.е. <tex>h(xy) = h(x)h(y)</tex>), то можно продолжить равенство:
<tex>f_{n+1} = h(f_{n-1})h(f_{n-2}) = f_{n}f_{n-1}</tex>.
}}
