text: Используя свойства ортогональности характеров группы и свойства алгебраических чисел, можно доказать существование нетривиального неприводимого характера χ {\displaystyle \chi } группы G {\displaystyle G} такого, что | χ ( x ) | = χ ( 1 ) {\displaystyle |\chi (x)|=\chi (1)} .