李括号
我们证明 "E"* 上所赋予的是一个李括号。只需验证雅可比恒等式。对任意 "x", "y", "z" ∈ "E"* 与 α ∈ "E"，