由第1步,2∤k2\nmid k2∤k 且 3∤k3\nmid k3∤k;由第4步,对每个素数 p>3p>3p>3 都有 p∣ap−2p\mid a_{p-2}p∣ap−2,故 p∤kp\nmid kp∤k(否则 kkk 与 ap−2a_{p-2}ap−2 将有公共因子 ppp)。因此 kkk 没有任何素因子,只能 k=1k=1k=1。反过来 k=1k=1k=1 与每个正整数都互质,确实满足条件。唯一答案是 k=1k=1k=1。