[a, b, c]b × (c × a) = [a, b, c][(a . b)c - (b . c)a;   = o, jos b  _L a ja b  _L c.