21≡ 2 mod 7
22≡ 4 mod 7
23≡ 1 mod 7 (und somit ist 23-1 durch 7 teilbar).
Wegen 23≡ 1 mod 7 gilt für jeden Exponenten k
2k⋅23≡2k⋅1≡2kmod7,
also 2k+3≡2kmod7.
Damit wiederholen sich die Reste 2, 4 und 1 zyklisch und haben nur für k=0, k=3, k=6, k=9 ... den Wert 1.