donde "f" y la inversa de "f" son funciones computables.