準同型定理（第一同型定理）
命題
ぐわ
\begin{align}
aaaa\\
\begin{xy}
*[white]\xymatrix{G \ar[d]_\pi \ar[r]^\phi & H \\G/\operatorname{Ker}\,\phi \ar@{.>}[ur]_\psi}
\end{xy}\label{eq:a}
\end{align}
\eqref{eq:a}証明
鵜おおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおお
\begin{align}
aaaa\\
\begin{xy}
*[white]\xymatrix{G \ar[d]_\pi \ar[r]^\phi & H \\G/\operatorname{Ker}\,\phi \ar@{.>}[ur]_\psi}
\end{xy}\tag*{\eqref{eq:a}}
\end{align}