Es seien Q ⊆ K , L ⊆ M {\displaystyle {}\mathbb {Q} \subseteq K,L\subseteq M} endliche Körpererweiterungen mit K ∩ L = Q {\displaystyle {}K\cap L=\mathbb {Q} } und K L = M {\displaystyle {}KL=M} . Es sei x 1 , … , x m {\displaystyle {}x_{1},\ldots ,x_{m}} eine Ganzheitsbasis von K {\displaystyle {}K} und y 1 , … , y n {\displaystyle {}y_{1},\ldots ,y_{n}} eine Ganzheitsbasis von L {\displaystyle {}L} , wobei die Diskriminanten zueinander teilerfremd seien.
Dann ist x i y j {\displaystyle {}x_{i}y_{j}} , 1 ≤ i ≤ m {\displaystyle {}1\leq i\leq m} , 1 ≤ j ≤ n {\displaystyle {}1\leq j\leq n} , eine Ganzheitsbasis von M {\displaystyle {}M} .