formula_4上のテンソル積の次元を9と計算し、分解体は "k" の2つ(実は3つ)のコピーを確かに含みそれらの2つの合成体であることを観察する。