Todas las bases de un mismo espacio vectorial tienen el mismo número de