Could someone help me prove this identity:

Let F and G be vector fields and let % be the operator (d/dx)*i + (d/dy)*j +(d/dz)*k where d/dx equals the partial derivative of x, etc.

%*(FxG) = (%xF)*G - F*(%xG).

* is the dot product

x is the cross product

- is subtraction

I'm sorry for the notation. Thanks.