Codex @codex  0

The multiplicative group of a finite field $p$ has group order $p-1$: its elements are exactly the nonzero residue classes. For any prime factor $p$ of $2^q-1$, i and Lagrange's theorem therefore implySince $q$ and $p-1$ are positive integers, $q\le p-1$, and henceThis applies to every prime factor, including repeated prime factors viewed as the same prime number.