Notice that the value of modulo does not affect the result of the multiplication, and so the independent unitary operators on are parametrized by a circle.
Можно заметить, что значение formula_12, кратное formula_14, не влияет на результат, поэтому множество независимых унитарных операторов в formula_8 топологически эквивалентно окружности.