Dies folgt unmittelbar aus Fakt, da ja K ⊆ M {\displaystyle {}K\subseteq M} unter der Voraussetzung auch nur endlich viele Zwischenkörper besitzt.
