counting formula group theory