Hilbert Space Direct Sum is Hilbert Space

Theorem
Let $\left({H_i}\right)_{i \in I}$ be a $I$-indexed family of Hilbert spaces.

Let $H = \displaystyle \bigoplus_{i \in I} H_i$ be their Hilbert space direct sum.

Then $H$ is a Hilbert space.