Flyspeck/lemma-1-3-a.tex

The cosine is an even function.

$$\cos(-x)=\cos(x)$$