https://math.pro/db/thread-1162-2-1.html

k ＞ 125

若 k 不為質數或質數的次方，則 k 必有 2 個以上的質因數
且 k 的質因數中，一定可找到 2 個差 2 以上的質數 r 和 s
由於 k 不整除 n，故 r 不整除 n 或 s 不整除 n，與已知條件矛盾

故 k 必為質數或質數的次方