چون میباشند ، لذا تعریف شده هستند و همچنین نیز تعریف شده است.
را با ضابطه در نظر میگیریم. ثابت میکنیم یک اپیمورفیسم است . که در این صورت با اثبات ، بنا به قضیه اول یکریختی گروهها خواهیم داشت:
از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..
وزارت آموزش و پرورش > سازمان پژوهش و برنامهريزی آموزشی
شبکه ملی مدارس ایران رشد
یک گروه و 
. در این صورت :
میباشند ، لذا 
تعریف شده هستند و همچنین 
نیز تعریف شده است.
را با ضابطه 
در نظر میگیریم. ثابت میکنیم 
یک اپیمورفیسم است . که در این صورت با اثبات 
، بنا به 
است ، بنابراین 