반단순 리 대수 분류 정리의 핵심