Category:Intersection of Orthocomplements is Orthocomplement of Closed Linear Span