Apenas es necesario explicar más para percatarse de que existe una correspondencia uno a uno entre formula_6 y su subconjunto