Category:Quotient Topological Vector Space is Hausdorff iff Linear Subspace is Closed