Es sei ${\displaystyle {}K\subseteq L}$ eine Galoiserweiterung. Es sei ${\displaystyle {}V}$ der Verband der Zwischenkörper der Erweiterung und sei ${\displaystyle {}W}$ der Verband der Untergruppen der Galoisgruppe ${\displaystyle {}\operatorname {Gal} \,(L{|}K)}$. Zeige, dass durch die Galoiskorrespondenz eine bijektive antimonotone Abbildung zwischen den Verbänden ${\displaystyle {}V}$ und ${\displaystyle {}W}$