Haversine Function is Even

Theorem
The haversine is an even function:


 * $\forall \theta \in \R: \map \hav {-\theta} = \hav \theta$