 For any field \(F\), up to isomorphism there is exactly one vector space over \(F\) of any given finite dimension. This is a theorem in the abstract approach, but is an immediate consequence of the representation in the concrete approach (the theorem is used in relating the two approaches).