Proposition 3. Assuming that:

  • r is odd

  • A⊂X(r) such that |x∩y| even for each distinct x,y∈A

Then |A|≤n.