Bessel Function of the First Kind of Negative Integer Order

Theorem
Let $\map {J_n} x$ denote the Bessel function of the first kind of order $n$, where $n$ is a positive integer.

Then:
 * $\map {J_{-n} } x = \paren {-1}^n \map {J_n} x$