Throughout this subsection II.B, we fix two natural integers $m$ and $n$. Let $g > 0$ be the $\gcd$ of $m$ and $n$. We set $m_1 = m/g$ and $n_1 = n/g$.
a) Show that if $m_1$ and $n_1$ are odd, then $T_g$ is a $\gcd$ of $T_n$ and $T_m$.
b) Show that if one of the two integers $m_1$ or $n_1$ is even, then $T_n$ and $T_m$ are coprime.
c) What can be said about the gcds of $T_n$ and $T_m$ when $m$ and $n$ are odd? When $n$ and $m$ are two distinct powers of 2?