Subspace of Product Space is Homeomorphic to Factor Space/Proof 2/Lemma 1

Theorem
Then:
 * $\forall k \in I_y: \map {p_i^\to} {\map{\pr_k^\gets } {V_k} \cap Y_i}$ is open in $\struct{X_i, \tau_i}$

Proof
Let $x \in X_i$.

Let $k \in I_Y$.

Then:

Case 1: $k = i$
Let $k = i$.

Then:

So:
 * $x \in \map {p_i} {\map{\pr_i^\gets } {V_i} \cap Y_i} \iff x \in V_i$

That is:
 * $\map {p_i} {\map{\pr_i^\gets } {V_i} \cap Y_i} = V_i \in \tau_i$

Case 2: $k \neq i$
In either case:
 * $\map {p_i^\to} {\map{\pr_k^\gets } {V_k} \cap Y_i}$ is open in $\struct{X_i, \tau_i}$.

Since $k \in I_y$ was arbitrary, then:
 * $\forall k \in I_y: \map {p_i^\to} {\map{\pr_k^\gets } {V_k} \cap Y_i}$ is open in $\struct{X_i, \tau_i}$

By open set axiom $O2$, then:
 * $\bigcap_{k \in I_y} \map {p_i^\to} {\map{\pr_k^\gets } {V_k} \cap Y_i}$ is open in $\struct{X_i, \tau_i}$