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