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.