Es decir, suponiendo que formula_6, podemos hallar un entero positivo formula_7 y una sucesión infinita formula_8 de dígitos (decimales)---formula_9---tales que