Hilbert Cube is Completely Normal

Theorem
Let $M = \struct {I^\omega, d_2}$ be the Hilbert cube.

Then $M$ is a completely normal space.

Proof
We have that Hilbert Cube is Metric Space.

The result follows from Metric Space is Completely Normal.