זה נכון, בעיקרון לא מעגלי כי סעיף ד' ינבע כמקרה פרטי של צריך את ג' באופן בלתי תלוי ל-א (כי ב לא נובע מ-א). בעיקרון בשביל ד, אבל אתה יכול להמנע מ <math>sign {\sigma^{-1}}=sign{\sigma}</math> ב-א ופשוט לומר ש-<math>I</math> נוצרת ע"י חילופי שורה על <math>[T_{\sigma}]</math> ולא להיפך, ואז פעולות <math>\sigma</math> רלוונטיות ולא <math>\sigma^{-1}</math>. (עדי)