La congruencia
$$a^{\varphi(n)+1} \equiv a \pmod{n},$$
o, para el caso,
$$a^{\lambda(n)+1} \equiv a \pmod{n},$$
vale si y sólo si para todos los números primos $p$ dividiendo $n$ tenemos $p \nmid a$ o $v_p(a) \geqslant v_p(n)$ (donde $v_p(k)$ es la multiplicidad de $p$ en el primer factorización de $k$, lo $p^{v_p(k)} \mid k$, pero $p^{v_p(k)+1} \nmid k$).
A ver que, considere la posibilidad de un primer $p$ dividiendo $n$, y deje $k = v_p(n)$. A continuación, $\varphi(p^k) = (p-1)p^{k-1}$ divide $\lambda(n)$ y, a fortiori,$\varphi(n)$. Ahora vamos a $a$ arbitrarias. Si $p \nmid a$,$a^{\lambda(n)} \equiv a^{\varphi(n)} \equiv 1 \pmod{p^k}$, e $a^{\lambda(n)+1} \equiv a^{\varphi(n)+1} \equiv a \pmod{p^k}$. Y si $p\mid a$, luego
$$v_p(a^{\lambda(n)}) \stackrel{\varphi(p^k)\mid\lambda(n)}\geqslant v_p(a^{\varphi(p^k)}) \stackrel{p\mid a}\geqslant \varphi(p^k) = p^{k-1}(p-1) \geqslant p^{k-1} \geqslant k,$$
por lo $a^{\lambda(n)} \equiv 0 \pmod{p^k}$, y a fortiori $a^{\lambda(n)+1} \equiv 0 \pmod{p^k}$$a^{\varphi(n)+1}\equiv 0 \pmod{p^k}$. Así que si $p \mid a$, $a^{\lambda(n)+1} \equiv a \pmod{p^k} \iff a \equiv 0 \pmod{p^k}$ (y lo mismo para el $\varphi(n)$).
Desde $a^e \equiv a \pmod{n}$ si y sólo si $a^e \equiv a \pmod{p^{v_p(n)}}$ para todos los números primos dividiendo $n$ (última condición no es necesaria, si $p \nmid n$, $a^e \equiv a \pmod{p^0}$ independientemente), el resultado de la siguiente manera.