Category:Closure of Irreducible Subspace is Irreducible