リー代数における括弧の反可換性とヤコビの恒等式