Oración 1: concluimos que la función que env́ıa ai ∈ A en di ∈ D es inyectiva
Oración 2: |I| ≤ |A| = ℵ0
Conector: por lo tanto
Relación: reasoning
Género: theses