\begin{proposition}\label{imported_prop}
    $i = i$.
\end{proposition}