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