How do you prove #(1-cos^2)(1+cos^2)= 2sin^2-sin4#?