Show true for all vectors

Use Maple to show that, for these particular vectors,

$\displaystyle (a \times b).[(b \times c) \times (c \times a)] = [a.(b \times c)]^2$ where $\displaystyle \times $ is the vector cross product.

I was able to do this but for the second part of the question it asks:

Quote:

Using pen-and-paper, show that equation (z) holds for ALL vectors a, b and c

Would I just set vector $\displaystyle a$ as $\displaystyle \begin{pmatrix} a_1\\a_2\\a_3\end{pmatrix}$, $\displaystyle b$ as $\displaystyle \begin{pmatrix} b_1\\b_2\\b_3\end{pmatrix}$ etc and work through to get a big equation in the form of $\displaystyle abc$ in the end, or is there a more elegant way?

Thanks in advance

Craig