Bizonyítsuk be, hogy bárhogyan osztjuk is két részhalmazra a természetes számokat, legalább az egyik csoportban található két szám, amelyek számtani közepe egész, és ugyanabban a részhalmazban van.