Let be a family of subsets of such that is even for all
and is even for all .
Then
Proof
Consider the subspace of generated by .
Observe that , but since , then so:
Remark
We get equality by partitioning into couples
and taking all subsets of these couples.
If is odd, we can find a family of odd sets with all intersections odd.