g:Ｇ→Ｈを群の準同型写像、ＮはＧの正規部分群、Ｎ⊂Ｋergであるならば、
φ:Ｇ/Ｎ→Ｈ
で、
φπ=g
なるものが一意的に存在する。

存在まではできましたが一意性がわかりません。お願いします。πは標準的な準同型写像です。