שינויים

וזה לא בהכרח נמצא ב R (זה נכון רק אם המכפלה <math><w, w'></math> שולח ל נמצאת ב R). ולכן לפי תרגיל 3 אפשר להגיד ש <math>T_w</math> לא בהכרח צמודה לעצמה.