This only holds if n is coprime to 2.

Personally, I would note that there is an element of order 2 in there (why?) and one can quotient out the subgroup generated by it (why?).

An element has order 2 is and only if it is in the kernel of this homomorphism and non-trivial (why?). This proves the result.