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