17
Step 3
•
Now we prove that EVEN
B
Ï
FO
•
•
Proposition
.
Let |X|, |Y|
¸
2
k
.
Then:
(2
X
,
µ
)
º
k
(2
Y
,
µ
)
•
•
We prove it using two lemmas.