User:Caliburn/s/fa/Hilbert Space is Reflexive

Theorem
Let $\struct {\HH, \innerprod \cdot \cdot}$ be a Hilbert space.

Then $\HH$ is reflexive.

Proof
[...]