Para cualquier sistema generador "A" formado por "n" elementos, siempre podremos hallar una base "B" comprendida en "A" con un número de elementos menor o igual que "n".