An interpretation of the corollary might be:
If $S$ is over a number field $F_1$, $B$ can be over a number field $F_2$, and $F_1$ need not be the same as $F_2$.
Specifically, If $S$ is real valued, $B$ can be complex valued. Hence $\sqrt{D_kD_{k-1}}$ will be always defined.