Det lär kunna bevisas , att när mansammanräknar