Vector Space has Basis/Corollary