Sea $M$ el conjunto de números naturales $k$ para los cuales existe un número natural $n$ tal que $$3^n \equiv k\pmod n.$$ Demuestra que $M$ tiene infinitos elementos.