Let and

⇒ and

where

Now, LHS is reduced to : cos(x+y)

⇒ ..eq(i)

As where

⇒

⇒

⇒

Also, where

⇒

⇒

⇒

⇒

⇒ where

⇒

⇒

Putting the values in eq(i),

⇒

⇒

= RHS