I have that $5^{2^{k-2}}\equiv 1 \mod 2^{k}$ but I am unsure how to show that $2^{k-2}$ is the least integer that has this property.
I thought perhaps I could show that $2^{k-2}|\operatorname{ord}_{2^k}(5)$ since I already have (from above) $\operatorname{ord}_{2^k}(5)|2^{k-2}$ but I have been stuck with this.
Any help appreciated :)