Talk:Fundamental theorem of ideal theory in number fields