Sejam c1,⋯,cn (n≥2) números reais tais que 0≤∑ci≤n. Prove que existem inteiros k1,⋯,kn tais que ∑ki=0 e 1−n≤ci+nki≤n para todo i=1,⋯,n.