This follows from the fact that the unit circle is a compact abelian Lie group (when identified with the unit complex numbers with multiplication).
Ова следи од фактот што единичната кружница е компактна абелова Лиева група (кога ќе се идентификува со единичните комплексни броеви по пат на множење).