Talk:Dedekind–Kummer theorem