Es sei L {\displaystyle {}L} der neunte Kreisteilungskörper über Q {\displaystyle {}\mathbb {Q} } . Zeige
![{\displaystyle {}L\cap \mathbb {R} \cong \mathbb {Q} [X]/{\left(X^{3}-3X+1\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/830d789883cfff23ace1950daf558bed7be26de6)