לא הבנתי מזה!!
===בלי הגבלת הכלליות===
משתמשים בביטוי זה בלבד כאשר ניתן לשחזר את כל ההוכחה רק באמצעות שינוי אותיות. למשל, נתונים שני מספרים x,y ואני אוכיח משהו על המספר הגדול מבינהם. אני יכול לחלק למקרים:
1. x>y
2. y>x
אם '''אין שום הבדל בין x לy פרט לשם שלהם''', אני יכול להעתיק את ההוכחה מ1 מילה במילה ורק להחליף אותיות. במקרה זה, אני פשוט ארשום במקום זאת "נניח, ב.ה.כ. כי x>y" ---<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>