How do you prove #Sin(x-y) Cos y + Cos(x-y) Sin y = Sinx#?