\begin{proposition}\label{calculation_link_order}
    Let $A,B,C$ be sets.
    $A=C$.
\end{proposition}
\begin{proof}
    \begin{align*}
        A
            &= B
                \\
            &= C
    \end{align*}
    Follows by assumption.
\end{proof}