The span of a root system is finite-dimensional.