Product of Injective Spaces is Injective

Theorem
Let $I$ be a non-empty set.

Let $\left({\left({S_i, \tau_i}\right)}\right)_{i \in I}$ be an indexed family of injective topological spaces.

Then $\displaystyle \prod_{i \in I}\left({S_i, \tau_i}\right)$ is injective space.