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