Ratkaisu: Ensinnäkin osamääräkunta $\text{[math]}$ on isomorﬁnen kompleksilukujen kunnan $\text{[math]}$ alikunnan $\text{[math]}$ kanssa. Selvästi kokonaisalue $\text{[math]}$ sisältyy kuntaan $\text{[math]}$ , joten $\text{[math]}$ . Toisaalta

\text{[math]}

Siispä $\text{[math]}$ .