שינויים
/* הוכחת משפטים למבחן */ פסקה חדשה
במבחן נצטרף לדעת לפתור שאלה כזאת כי בפתרונות השתמשו באקסיומת הבחירה
== הוכחת משפטים למבחן ==
בשביל משפט 13 צריך גם להוכיח שאם K1 <math>\leq</math> K2 וM1 <math>\leq</math> M2 אז K2 בחזקת K1 <math>\leq</math> M2 בחזקת M1
או שאפשר להסתמך על זה?