Pólya enumeration theorem vs Euclid's second theorem