how to prove it's an identity
sin y + sin 3y + sin 5y + sin 7y = 4 cos y cos 2y sin 4y