すると、任意の加法的函数 χ:r-mod → xに対し、一意に群準同型f:g0(r) → xが存在し、χ がfを通して分解し、各々のformula_13の対象をg0(r)の中の同型類を表現する元への写像となる。