Proof.
[First Proof of Theorem
4.1.7]
First suppose that

. By swapping

and

if
necessary, we may assume that

, and write

. Since

,
and
Proposition
4.3.4 implies that

, since

. Thus
where the last equality
is because

is even if and only if

is
even.
Next suppose that
, so
.
Write
. We have

and
Since

,
Proposition
4.3.4 implies that

. Since

, the proof is complete.