Linearly Independent Set is Contained in some Basis