 .  By swapping
.  By swapping  and
 and  if
  necessary, we may assume that
 if
  necessary, we may assume that  , and write
, and write  .  Since
.  Since
   ,
,
  
 
and
 
Proposition 4.3.4 implies that
 , since
, since 
 .  Thus
.  Thus
  
 
where the last equality is because
 is even if and only if
 is even if and only if 
 is
  even.
 is
  even.
Next suppose that 
 , so
, so 
 .
  Write
.
  Write  .  We have
.  We have
  
 and
    and  
Since
 ,
  Proposition 4.3.4 implies that
,
  Proposition 4.3.4 implies that
  
 .  Since
.  Since 
 , the proof is complete.
, the proof is complete.
 