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