Más en general, todo anillo de división es dominio de integridad unitario.