In rectangle $ABCD$, $AB=5$ and $BC=2$. Points $M$ on $AB$ and $N$ on $DC$ satisfy $AM=1$ and $DN=2$. Let $E$ be the reflection of $D$ in $M$, and let $F=EN\cap CM$. (a) Prove that $CM\perp DM$. (b) Let $K=DF\cap CE$. Find $DK$.
A string consists of letters $A$ and $B$. Any of these replacements is allowed: $BBA\to A$, $ABA\to B$, $A\to BBA$, $B\to ABA$. Starting with $BA\cdots A$ (one $B$ followed by $2019$ letters $A$), can one obtain $A\cdots AB$ ($2019$ letters $A$ followed by one $B$) after finitely many replacements? Explain.