Oración 1: teniendo entonces en cuenta que f ◦ γ1 = f ◦ γ2, concluimos que γ1 = γ2 = g ◦ γ dentro de W
Oración 2: suponga que existen cartas ϕ : U → ϕ(U) y ψ : V → ψ(V ) de C/Γ y C respectivamente tales que el cuadrado de abajo del siguiente diagrama conmuta: C f π  %% U ⊆ C F/Γ // C ⊇ V ϕ ψ   C ⊇ ϕ(U) // C Recuerde de los ejemplos de la sección 2 de este capítulo que ϕ es una inversa local de π y que ϕ(U) es un abierto en que π es inyectiva
Relación: neutral
Género: theses