Доведено, що будь-який унiтарний оператор U в нескiнченновимiрному гiльбертовому просторi можна подати як добуток трьох унiтарних операторiв U₁, U₂, U₃ таких, що Ui^mi = I при mi, що належить N, 1/m₁ + 1/m₂ + 1/m₃ ≤ 1 ...

Доведено, що будь-яке шурівське зображення частково впорядкованої множини, що відповідає графу Ẽ₇, можна унітаризувати з деяким характером.