Como todo conjunto ortonormal de vectores es linealmente independiente, entonces debe existir un número finito de vectores con los cuales puede completarse β hasta obtener un sistema generador de "V".