n گوی باردار داریم که n عددی فرد است. همچنین زوجیت تعداد بارهای مثبت را هم می‌دانیم. در هر عمل می‌توانیم دو عدد از گوی‌ها را انتخاب و به هم نزدیک کنیم و هم‌نوع بودن بار آن‌ها رادریابیم. ثابت کنید برای آن‌که بار همه‌ی گوی‌ها را بدانیم همواره n−1 عمل از نوع بالا لازم و کافی است.