En un DFU no hay una sucesión infinita de elementos formula_35 tales que cada formula_36 sea un factor propio de formula_37