리 초대수
모든 리 초대수 formula_23는 스스로 위의 표현