 Chebotarev density theorem

For a finite Galois extension $L/K$ and a conjugacy class $C$ in its Galois group, the unramified primes with Frobenius class $C$ have density $|C|/|\mathrm{Gal}(L/K)|$.