Corresponding residue systems in normal extensions

Let K and K′ be number fields with L = K · K′ and F = KφK′. Suppose that $\text{K}\text{F}$ and $\text{K′}\text{F}$ are normal extensions of degree n. Let $\text{B}$ be a prime ideal in L and suppose that $\text{B}$ is totally ramified in $\text{K}\text{F}$ and in $\text{K′}\text{F}$. Let π be a prime element for $\text{B}$_K = $\text{B}$ φ K, and let f(x) ∈ Fx] be the minimum polynomial for π over F. Suppose that $\text{B}$_K · $\text{D}$_L = ($\text{B}$^≠)^e. Then,

$\text{M(B\# : K, K′) =}\text{min}\text{{m, e(t + 1)}}$

, where $\text{t =}\text{min}\text{{t(}\text{K}\text{F}\text{), t(}\text{K′}\text{F}\text{)}}$ and m is the largest integer such that ($\text{B}$_K′)^nm/e φ f($\text{D}$_K′) ≠ {φ}.If we assume in addition to the above hypotheses that K : F] = K′: F] = pⁿ, a prime power, and that $\text{B}$ divides p and is totally ramified in $\text{L}\text{F}$, then

$\text{M(B\# : K, K′) ? p}{}^{\mathrm{n?1}}\text{(p ? 1)(t + p]}$

, with t = t($\text{B}$ : L/F).