Смотрю на анонс курса Берштейна в ЛШСМ-2022, и хочу процитировать кусочек:

==
1. Последовательностью Сомоса называется последовательность, заданая рекуррентным соотношением
z_{m+2}z_{m−2}=z_{m+1}z_{m−1}+z_m^2
и начальными членами
z_0=z_1=z_2=z_3=1.
Хотя на первый взгляд определение следующих членов последовательности требует деления, оказывается, что все члены этой последовательности — целые числа. Доказательство, которые мы будем обсуждать, основано на том, что все члены этой последовательности являются полиномами Лорана от первых четырех членов.
==

Красивое утверждение, правда?