polya's enumeration theorem Synonyms