Flyspeck/lemma-1-3-b.tex

The sine is an odd function.

$$\sin(-x)=-\sin(x)$$