I would appreciate a reference to the following statement, which, I was having an impression, is known:
Let $L, M$ be field extensions of finite degree of a number field $K$, such that $L \cap M = K$. Then probabilities of any two chosen splitting types in $L$ and $M$ respectively, of a randomly chosen prime ideal in $\mathcal{O}_K$, are independend.
Thank you.