Esta demostración necesita poder declarar la diferencia entre ciertos pares de números reales basada en sus expansiones decimales, por lo que se deben evitar parejas como 0,2 y 0,1999...