 Primes in an intermediate field as double cosets

Let $M/K$ be a finite Galois extension, $L=M^H$, and $D$ the decomposition group of a prime $\mathfrak{P}$ above $\mathfrak{p}$. The bijectionfollows from transitivity on primes for both $M/K$ and $M/L$.