Kernel of Normal Operator is Orthocomplement of Image