>>364 の続き。

Hom(A, Ω) の任意の元を α とし、
α(η_0) = v_0
α(η_1) = v_1
.
.
α(η_(e-1)) = v_(e-1)
とする。

>>357以降述べたことと、>>354 より Hom(A, Ω) のすべての元 は
(v_0, v_1, ..., v_(e-1)) の順列から得られる。