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