Unicidad de los dominios de división (en el sentido de isomorfismo)