How do you prove #sin(x+y)*sin(x-y)=(sinx)^2-(siny)^2#?