How do you prove # cos(x+y)cosy + sin(x+y)siny = cosx#?