Cross product/Cyclic swapping/Exercise

Show that the cross product for vectors ${\displaystyle {}x,y,z\in K^{3}}$ fulfills the relation

${\displaystyle {}x\times (y\times z)+y\times (z\times x)+z\times (x\times y)=0\,.}$