Die Inklusion K [ f ] ⊆ K ( f ) {\displaystyle {}K[f]\subseteq K(f)} gilt immer, und nach Voraussetzung ist der Unterring K [ f ] {\displaystyle {}K[f]} aufgrund von Fakt schon ein Körper.
![{\displaystyle {}K[f]\subseteq K(f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d18f8bacdd7739c7c78bc59e5af8fe80d064f7)
![{\displaystyle {}K[f]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d8a9c4641752b7e4bc60d698bc22c7b84438d97)