Category:Linearly Independent Set is Contained in some Basis