Nuestro ejemplo primero son los Enteros, formula_8 donde el Teorema Fundamental de la Aritmética establece precisamente que se trata de un DFU.