Oración 1: como asumimos ϕ(U) = ψ(V ) = D, entonces {z ∈ ϕ(U) : zk = ψ(y)} tiene k elementos y por lo tanto f−1(y) ∩ U1 también
Oración 2: lo que queríamos
Conector: esto es
Relación: entailment
Género: theses