Chebotarev density theorem

In Galois extension L/K with group G, Frobenius conjugacy classes are equidistributed: density of primes with Frob_p in conjugacy class C equals |C|/|G|.