本题有个很重要的结论：

$n=n''\iff n\mid b^{k-1}$

后者是前者的充分必要条件。

但是现存的五篇非官方题解里，四篇都仅证明了后者是前者的充分条件（有的甚至也没给出充分性的证明），但没给出必要性的证明。在我（出题人）看来，这题的精髓其实是必要性的证明，因为它没有那么显然。

所以希望撤下这样四篇题解：

• 1。
• 2。
• 3。
• 4。

另外这篇题解有抄袭这篇题解的嫌疑（“正解”和“代码”部分都完全一致）。