すいません。式を書き忘れました

改めて。

(1) grad(φψ) = φgradψ + ψgradφ
(2) grad(A・B) = (A・∇)B + (B・∇)A + A*rotB + B*rotA
(3) div(φA) = φdivA + gradφ・A
(4) div(A*B) = B・rotA - A・rotB
(5) rot(φA) = φrotA - A*gradφ
(6) rot(A*B) = (B・∇)A - (A・∇)B + AdivB - BdivA

です。

証明を教えていただけないでしょうか?

よろしくおねがいします。