הערות: ******* (5) (d) בהוכחת הנכונות, בקטע בו מוכיחים כי D אינה ב-R, הפעלת f על p,x צריכה להחזיר T אם התנאי נכון, ולא 1 (6) (a) בהוכחה כי L1 אינה ב-R נכתב: שים לב שהגודל של f(p קבוע ולא משתנה אם f עוצרת או לא ציון: 100