Խնդիր
ունենք լուցքու հատիկներ n*(n+1)/2 հատ, որոնք բաժանված են խմբերի, ամեն խմբում ինչ - որ քանակությամբ հատիկներ:
ամեն քայլում կատարվում է հետևյալ գործողությունը: ամնե խմբից վերցվում է լուցքու մի հատիկ, այդ հատիկներով ձևավորվում է նոր խումբ:
Ապացուցել որ քայլերը կատարելուց ինչ որ մի պահ կգա որ խմբերում հատիկների քանակը կլինի 1,2,3,...,n (ըստ աճման դասավորված) և ինչքան ել շարունակենք կատարել քայլերը ապա ստացված արդյունքը չի փոխվի