שינויים
/* הוכחה ל16 */
לא הבנתי למה צריך להוכיח שזו הע"ל, לא מספיק רק חח"ע ועל???
*לא להוכיח שזו הע"ל זה קצת בעיה, כי כל מה שהגדרנו עובד על הע"ל, ולא סתם על פונקציה. בכל מקרה פה ההוכחה היא שורה-שתיים, ככה שזו לא בעיה.
== כשאומרים יחידות הצגה (משפט 2) ==
