How do you verify #(1-cos^2a)(1+cos^2a)=2sin^2a-sin^4a#?