text: Поскольку характеры образуют ортонормированный базис, после доказательства некоторых аналитических свойств L ( ρ , s ) {\displaystyle L(\rho ,s)} мы получаем теорему плотности Чеботарёва как обобщение теоремы Дирихле о простых числах в арифметической прогрессии.