Odd Town Theorem

Let be a family of subsets of such that is odd
and even for all .
Then

Note, this is much smaller than Even Town Theorem.

Proof

Take such sets
Take their indicators .
Note that the dot product satisfies

We claim that are linearly independent.
Suppose

Taking the dot product with we deduce .
Thus we conclude .