Let $n > 1$ be an integer, and let $p$ be the smallest prime factor of $n$. If $n$ divides $2^n - 1$, which of the following relations must hold for the order $d = \operatorname{ord}_p(2)$ that leads to a contradiction?