よって、"d""n" は対称群 "s""n" の部分群である。