Penrose indica una manera de asociar un entero no-negativo M a cada pareja ordenada (m, n) de enteros no-negativos, pero el no muestra un algoritmo para el proceso inverso, es decir, construir el par (m, n) correspondiente a un M dado.