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