Legyen a pozitív egész a1, a2, ..., an számok összege kisebb a pozitív egész k számnál. Bebizonyítandó, hogy