Prove that #(sin 3 x + sin x) sin x + (cos 3x - cos x) cos x = 0# ?