컴팩트 리 군 대수의 표현 속성 (중량의 정수성)