שינויים
/* שאלות */
==תשובה==
מניחים בשלילה ת"ל, לוקחים את i כאינדקס הקטן ביותר עבורו אפשר לבטא את Vi בעזרת הקודמים לו ומוכיחים שאפשר לבטא גם את Vi-1 בניגוד להנחה, ולכן הם ת"ל
==שאלה==
למישהו יש רעיון איך אני מוכיח שהשיוויון בקושי שוורץ גורר שהם ת"ל?
משתמש אלמוני
