Generator of Quotient Groups

Theorem
Let $$N \triangleleft G$$, and let $$N \le A \le G, N \le B \le G$$.

Let $$\alpha$$ be the bijection defined as:
 * $$\alpha \left({H}\right) = \left\{{h N: h \in H}\right\} \subseteq G / N$$

from the proof of the Correspondence Theorem.

Then:
 * $$\alpha \left({\left \langle {A, B} \right \rangle}\right) = \left \langle {\alpha \left({A}\right), \alpha \left({B}\right)} \right \rangle$$

Proof
$$ $$ $$