Dihedral subgroups of every divisor order ($k\mid 2n⟹D_{2n}\text{ has a subgroup of order }k$)

Write the dihedral group as $D_{2n}=⟨r,s:r^n=s^2=e,srs=r^{-1}⟩$. If $k\mid n$, the cyclic subgroup $⟨r^{n/k}⟩$ has order $k$. For an even divisor $k=2m$ of $2n$, $m\mid n$ and $⟨r^{n/m},s⟩$ has $m$ rotations and $m$ reflections, hence order $k$. An odd divisor of $2n$ always divides $n$. This proves that the necessary divisibility condition from Lagrange's theorem is also sufficient in a dihedral group, although it is not sufficient in arbitrary finite groups.