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 .