(sin(a-b)=sin(b))&(-π<=a<π)&(-π<=b<π)