tot aan quotientringen
tot aan isomorfismestellingen
tot aan veeltermringen. euclidische ringen overgeslagen