Un resultado importante sobre este tipo de anillos es que si "A" es un DFU entonces "A"["X"] también lo es.