Oración 1: teniendo entonces en cuenta que f ◦ γ1 = f ◦ γ2, concluimos que γ1 = γ2 = g ◦ γ dentro de W
Oración 2: lo que faltaba probar
Conector: esto es
Relación: entailment
Género: theses