במשפט 16, אני דיי בטוח שזה צריך להיות איזומורפי ל F^dimWxdimV ולא ל F^dimVxdimW
<BR>
זה כמובן לא משנה כי
<math>
\mathbb{F}^{dimV \times dimW} \cong \mathbb{F}^{dimW \times dimV}
</math>
ע"י השיחלוף שהוא איזו'. [[משתמש:ABAB|ABAB]] 23:03, 26 באוגוסט 2012 (IDT)
== הוכחה של למת ההחלפה של שטייניץ ==