：设formula_34为群，对所有formula_35有群同态formula_36，使得若formula_29，则那么存在唯一的群同态formula_39，使得对所有formula_35，都有这个泛性质决定唯一的formula_16。（不别群同构之异。）