Let `vec(a),vec(b)` and `vec(c)` be any three vectors, then prove that `[vec(a)xxvec(b)vec(b)xxvec(c)vec(c)xxvec(a)]=[vec(a)vec(b)vec(c)]^(2)` .