שינויים

'''ואין מסקנות אוטומטיות נוספות, לכן נוכיח לפי הגדרה.

'''''נרצה להוכיח ש-g חח"ע'', נתחיל משוויון בין תמונות של a,b תחת g, ונקווה לגלות שוויון בין a ל-b. בדרך נשתמש ב1-4: