Basis Extension Theorem for a Subspace