Der Satz über das Transformationsverhalten der Diskriminante zu einer Basis in einer endlichen Körpererweiterung K ⊆ L {\displaystyle {}K\subseteq L} .