Adva van az $n$ természetes számnál kisebb s egymástól különböző természetes számoknak egy sorozata, adva van továbbá egy másik ugyanilyen tulajdonságú sorozat. Bizonyítandó, hogy ha a két sorozat elemeinek együttes száma legalább $n$, akkor található a két sorozatnak egy-egy eleme, melyeknek összege éppen $n$.