A bizonyításban feltettük, hogy a társaság tagjainak száma véges, amit egy társaságról joggal feltételezhetünk. A feltételt azért jegyeztük meg mégis, mert a feladatot át fogjuk fogalmazni, s az átfogalmazásban már nem magától értetődő ez a feltételezés.