The Chebotarev density theorem states that for a finite Galois extension and a conjugacy class , the unramified primes whose Frobenius conjugacy class is have Dirichlet density
A prime ideal of is principal exactly when its Artin symbol in
is the identity. The group has order two. Applying the Chebotarev density theorem to the identity conjugacy class gives density