اگر مشخصهٔ میدان صفر باشد که توسیعی از $\mathbb{Q}$ است و اگر $p$ باشد آنگاه توسیعی از $\overline{\mathbb{Z}}_p(x)$ (که $x$ یک متغیر بر روی $\overline{\mathbb{Z}}_p$ است) میباشد. در هر دو صورت از اینکه گروه ضربی میدان کوچکتر متناهیمولد نیست حکم نتیجه میشود.
