Let \langle S _{i} | i \in I \rangle be an indexed system of sets; show that \prod _{i \in I} S _{i} exists. [Hint: \prod _{i \in I} S _{i} \subseteq P(I \times \bigcup _{i \in I} S _{i}) ]