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