Выпишем остатки первых m^2 + 2 чисел Фибоначчи, начиная с нулевого, при делении на m. Поскольку всего различных остатков при делении на m ровно m, то различных пар остатков не более m^2. Пар соседних остатков m^2 + 1, тогда по принципу Дирихле найдутся две пары соседних чисел Фибоначчи, которые дают соответственно равные остатки при делении на m. Так как по двум остаткам последовательность однозначно восстанавливается в обоих направлениях, последовательность остатков периодичная, и найдётся число Фибоначчи с номером, не превосходящим m^2 + 2, дающее такой же остаток при делении на m, что и F(0) = 0, оно будет делиться на m.
Выпишем остатки первых m^2 + 2 чисел Фибоначчи, начиная с нулевого, при делении на m. Поскольку всего различных остатков при делении на m ровно m, то различных пар остатков не более m^2. Пар соседних остатков m^2 + 1, тогда по принципу Дирихле найдутся две пары соседних чисел Фибоначчи, которые дают соответственно равные остатки при делении на m. Так как по двум остаткам последовательность однозначно восстанавливается в обоих направлениях, последовательность остатков периодичная, и найдётся число Фибоначчи с номером, не превосходящим m^2 + 2, дающее такой же остаток при делении на m, что и F(0) = 0, оно будет делиться на m.