שינויים

משפט ההחלפה של שטייניץ - מותר להשתמש במה שקראנו לו "למה 1"+ "למה 2". צריך להוכיח מה שקראנו לו "למה 3" (אם <math>A</math> בת"ל ו <math>B</math> פורשת אז כל איבר מ <math>A</math> ניתן להחליף ע"י איבר מ <math>B</math> שאינו נפרש על ידי <math>A \backslash \{a\}</math>)

משפט השלישי חינם - מותר להשתמש בכל הלמות שקדמו לו.