Teorema: El producto cartesiano de un número finito de conjuntos numerables es numerable.