una base de V, entonces existe una única base formula_17 de formula_18