Oración 1: el diagrama: ΛF Dom(α) - Uα ? ? Zf -2 Max(R(Uα)) es conmutativo
Oración 2: concluimos que ΛF es una biyección
Conector: por lo tanto
Relación: reasoning
Género: theses