Legyen $H$ egész számokból álló véges halmaz. Legyen $H_{+}$ és $H_{-}$ a $H$-beli számpárok összegeinek, illetve különbségeinek halmaza. (Megengedjük az egyenlő számokból álló számpárokat és a negatív különbségeket is.) Bizonyítsuk be, hogy