En un DFU, dos elementos no nulos tienen MCD y MCM.