对于正整数 $n$，若对于 $k,t < n-1$ 的所有正整数 $k,t（k \ne t）$ 都没有：

$2^k \equiv 2^t \pmod{n}$

$n$ 除了一定是素数（或 $4$）外，还有啥特性？