Дело не в том что ряд бесконечный, а в том что равенство асимптотическое.
Что касается вопроса "из теоремы … " следует … , то Вам следует понять
1) Что такое класс

? Включает ли он в себя все полиоднородные символы (или символы асимптотически от них неотличимые)?
2) Если

полиоднородный, то будет ли

таким же?