Неаффинных дифференциально-алгебраических кривых не существует

В работе объясняется, почему у счетномерной дифференциальной $\mathbb{C}$-алгебры $A$ без делителей нуля степени трансцендентности 1 спектр максимальных идеалов ${\rm Spec}_\mathbb{C} A$ локально аналитичен, т.е. для любого $\mathbb{C}$-гомоморфизма $\psi_M : A \to \mathbb{C}$ ($M \in {\rm Spec}_{\mathbb{C}} A$) и $a \in A$ ряд Тейлора $\widetilde{\psi}_M (a) \stackrel{{\rm def}}{=} \sum\limits_{m=0}^{\infty} \psi_M(a^{(m)}) \frac{z^m}{m!}$ имеет ненулевой радиус сходимости, зависящий от элемента $a \in A$.