Mutassuk meg, hogy minden k>1 egész számhoz van olyan $k^2$-nél kisebb m pozitív egész, amelyre $ 2^m-m$ osztható k-val.
 
Megoldás: -