# Nonprimes with $3^{n-1} \equiv 2^{n-1} \pmod n$

Is it true that there are infinitely many nonprime integers $n$ such that $3^{n-1} - 2^{n-1}$ is a multiple of $n$?

-
I believe this follows from the existence of infinitely many Carmichael numbers, but maybe there is a more elementary proof. –  Qiaochu Yuan Jul 29 '10 at 6:54
I was just writing to refer to pseudoprimes :-) –  mau Jul 29 '10 at 8:38

I think I know how to prove it without using of Carmichael numbers.

Take $n = 3^{2^k} - 2^{2^k}$. Then it's not hard to prove by induction on $k$ that $2^k | n - 1$. Hence $3^{2^k} - 2^{2^k} | 3^{n-1} - 2^{n-1}$ (that's true because $a - b | a^r - b^r$ for any natural $a, b$ and $k$).

-
It is true for all n such that $(n,2)=(n,3)=1$ and for which the order of 2 & 3 modulo n is same.