Legyenek k, m és n pozitív egészek, amelyekre m≤n, és legyenek 0≤a1≤...≤am+n valós számok. Igazoljuk, hogy