יש שגיאות שם שלא מאפשרות לעקוב אחר ההוכחה..
בהוכחת הטענה העיקרית
למשל כתוב
|P|<Cost(P)
למרות שניראלי שהכוונה ל
|P'|
ובהמשך יש שיוויון שהוא לא נכון
L^*+1+i-2 = L^*-1
זה לא ברור..