Double Orthocomplement is Closed Linear Span/Corollary

Corollary to Double Orthocomplement is Closed Linear Span
Let $\HH$ be a Hilbert space. Let $A \subseteq \HH$ be a closed linear subspace of $\HH$.

Then:


 * $\paren {A^\perp}^\perp = A$