Así pues, nuestra suposición de que existía algún conjunto formula_29 es falsa.