Sa se arate ca:
sina·sin(a+x)-sinb·sin(b+x)=sin(a-b)·sin(a+b+x)