Proposición: El producto cartesiano de dos conjuntos numerables y es numerable.