צ"ל <math>D_n\cong S_{2n}</math> לכל <math>n\geq 3</math> ולא <math>D_n\cong S_{n}</math> לכל <math>n\geq 3</math>
:יש לשים לב מבקשים להוכיח כי <math>D_n</math> איזומורפית לת"ח של <math>S_n</math>, לא כי היא איזומורפית ל-<math>S_n</math>. שני האיזומורפיזמים שרשמת אינם נכונים עבור <math>n \ge 4</math>.