Solution
= Solution
The <Chebotarev density theorem> says that if $L/K$ is a finite Galois extension with group $G$ and $C\subseteq G$ is a conjugacy class, then the unramified primes $\mathfrak p$ whose Frobenius conjugacy class equals $C$ have <Dirichlet density>
$$
\frac{|C|}{|G|}.
$$