How do you verify #cos^2(2alpha) - sin^2(2alpha)=cos(4alpha)#?