How do you verify cos^2 2A = (1+cos4A)/2?