לא, הם לא התבלבלו. מה שאתה הוכחת זה באמת ש: (aN) בחזקת m הוא איבר היחידה ב- G/N . כעת אתה צריך להוכיח את טענת העזר הבאה: תהא H חבורה, x איבר ב-H. אם: x^r=e (כך ש: e איבר היחידה), אזי הסדר של x מחלק את r . זה יתן לך באופן מיידי שהסדר של aN ב- G/N מחלק את m אם תסתבך עם ההוכחה של טענת העזר אשמח לעזור.