Implications If V is finite Dimensional Vector Space V has a basis Every Spanning Set contains a Basis Every indep set contains a Basis Every Subspace of V has a Basis