שינויים

*סימטריות: נניח B מייצגת את ההעתקה של A. אזי <math>B=[T_A]^E_E</math>. כפי שהראינו קודם <math>B=[T_B]^S_S</math> לכן   נפתח את שני צידי המשוואה לקבל <math>[T_B]^S_S=[I]^S_E[T_A]^S_S[I]^E_S=[I]^S_EA[I]^E_S</math> ומכאן נובע <math>A=[I]^E_S[T_B]^S_S[I]^S_E</math>