: קודם כל, מספר תיבות הוא סופי, אנחנו לא מדברים על אוסף אינסופי של תיבות לא חשוב באיזה חלק של משפט.
: ועכשיו תיקון ל-2: אוסף סופי של תיבות שאיחודם מכיל את <math>A</math> (הם בעצמם לא מוכלים ב-<math>A</math>) (השאר נכון)
: בקשר למספרים רציונליים - קבוצה M מכילה אף תיבה (רק מנוונות), לכן ברור כי <math>\sum{V(T_i)}=0</math>. מצד שני, <math>\sum{V(S_i)}\ge 1</math> (אני מזכיר שמדובר במספר סופי [[של]] תיבות ושבין כל שני מספרים רציונאליים שוניים קיים מספר רציונאלי נוסף).--[[משתמש:Grisha|Grisha]] 16:42, 30 באוגוסט 2011 (IDT)