prove sin(3pi-x)=sin x