복소 반단순 리 대수와 루트 시스템 간의 일대일 대응