Demostrar que <span class="math-container">$x^x\equiv k \mod n$</span> tiene soluciones entero para cada número entero de iff <span class="math-container">$k$</span> <span class="math-container">$gcd(n,\phi(n))=1$</span>.
Sé que si <span class="math-container">$x^x\equiv k \mod n$</span> tiene soluciones del número entero entonces la solución menos positiva es menor que <span class="math-container">$n\phi(n)$</span>.