"Demostración" Sea I el conjunto formado por todas las combinaciones lineales izquierdas de elementos de S.