반단순 리 대수의 유도 대수의 성질