Haversine Function is Even

Theorem
The haversine is an even function:


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