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