sólo mencionaremos aquí, establece que un anillo con división finito es un