Dado un número entero positivo k > 1y un número entero no negativo i, genera una ktupla (o kvector dimensional) de números enteros no negativos. Para cada k, el mapa de ℕ a ℕ k , debe ser biyectivo . Es decir, cada entrada idebe producir una tupla diferente y cada tupla posible debe ser...