All Bases have same size

Criterion for a Basis

Every Spanning Set Contains a Basis

Linearly Independent Sets Generate Bases