If α and β are roots in a root system, then the projection of β onto the line through α is a half-integral multiple of α.