Kernel of Linear Transformation is Orthocomplement of Image of Adjoint/Corollary

Corollary to Kernel of Linear Transformation is Orthocomplement of Range of Adjoint
Let $H$ be a Hilbert space. Let $A \in \map B H$ be a normal operator.

Then:


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

where:


 * $A^*$ denotes the adjoint of $A$
 * $\ker A$ is the kernel of $A$
 * $\Rng A$ is the range of $A$
 * $\perp$ signifies orthocomplementation