The Proof of the Formula for the Vector Triple Product