How does one prove that the splitting of primes in a non-abelian extension of number fields is not determined by congruence conditions?