Sia V SVR finitamente generato e siano B,B′ due basi di V. Allora il numero di elementi di B è uguale al numero di elementi di B′.