MathDB
Proof of being existed n such that 2^k|n^n-m from JMO 2010

Source:

February 11, 2010
inductionmodular arithmetic

Problem Statement

Let k k be positive integer and m m be odd number. Prove that there exists positive integer n n such that n^n \minus{} m is divisible by 2k 2^k.