שינויים

::בכל מקרה הרעיון הכללי של ההוכחה הוא: בהינתן חבורה <math>G</math> ותת חבורה נורמלית <math>K</math> תמיד קיים האפימורפיזם

::<math>\varphi:G\to G/K, \ \varphi(g)=gK</math>. כעת, מכיון שקיים גם איזומורפיזם ובפרט אפימורפיזם <math>\psi:G/K\to \mathbb{Z}</math> אז ההרכבה נותנת אפימורפיזם מ G לZ. --[[משתמש:מני ש.|מני]] 19:21, 13 בדצמבר 2012 (IST)