\begin{proof}
    Follows.
\end{proof}
