In a factor group the group operation is defined to be . As long as H is normal, this is well defined and is a group.
You are given that
By Lagrange's theorem since any element of G/H must have order dividing 2, so in this case since .
This means as desired.