Euler product
The Dedekind zeta function of "K" has an Euler product which is a product over all the prime ideals "P" of "O""K"