How do you verify the identity 1+cos10y=2cos^2 5y?