Usamos el axioma de la elección numerable en esta prueba para escoger para cada in una subyección de la colección no vacía de subyecciones de a .