Demuestra que cada entero positivo tiene una representación única en la forma\n\[ \sum_{i=0}^k d_i 2^i \, ,\n\]\ndonde $k$ es un entero no negativo y cada $d_i$ es 1 o 2. (Esta representación es similar a la notación binaria usual, excepto que los dígitos son 1 y 2, no 0 y 1.)