Хвост записи повторяется
Остатков по модулю 256 всего 256 штук, поэтому последовательность M, M2, M3, ... по модулю 256 обязана зациклиться. Если M нечётно, у него есть обратный по модулю 256, и цикл начинается сразу с первого члена: последовательность чисто периодическая. Длина этого цикла называется порядком M по модулю 256.
Полезный факт про степени двойки: для любого нечётного M верно M64 = 1 (mod 256). Значит порядок всегда делит 64 — он равен 1, 2, 4, 8, 16, 32 или 64, и ничему другому.