Proposition 19. Assuming that:

Then |A|2k1.