Proposition 19. Assuming that:

Then |A|≤2k−1.