Talk:Dedekind-finite ring