どの複素数の組(formula_8,formula_19)についても、既約最高ウェイト表現が一意的に存在する。