実は、すべての合同は "g" のある正規部分群に一意的に対応する。