Proof for Vector Triple Product