Even Town Theorem

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.