Proof: Any subspace basis has same number of elements