Pólya enumeration theorem