Lo que significa que hay una base de formula_188 vectores en formula_187, es decir un conjunto formula_191 tal que cada vector formula_52 de formula_187 puede escribirse de una "única manera como