Se puede probar que todas las raíces conjugadas de un número de Salem formula_2 tienen valor absoluto exactamente igual a uno, excepto el propio formula_2 y formula_4.