לכן <math>o(a^{-1})\leq o(a)=k</math>.
:ההמשך כאן הוא בשל הטענה הסימטרית. מתקיים <math>(a^{-1})^{-1}=a</math>, ולכן <math>o(a)\leq o(a^{-1})</math>. כך משיגים שויון. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:56, 8 בדצמבר 2013 (EST)
עכשיו אם רוצים להראות שהאי שיוויון ההפוך מתקיים, אפשר שוב להשתמש '''באותו <math>k</math>''' ממקודם???
איך אני מוכיח את הטענה במקרה שמדובר בסדר אינסופי?
:סדר של איבר הוא אינסוף כאשר אין פתרון למשוואה <math>a^k=e</math>. אתה מראה שבמקרה זה אין פתרון גם למשוואה <math>(a^{-1})^k=e</math>, ולכן הסדר של <math>a^{-1}</math> הוא אינסוף. [[משתמש:חיים רוזנר|חיים רוזנר]] ([[שיחת משתמש:חיים רוזנר|שיחה]]) 07:56, 8 בדצמבר 2013 (EST)