במשפט 16, אני דיי בטוח שזה צריך להיות איזומורפי ל F^dimWxdimV ולא ל F^dimVxdimW
== הוכחה של למת ההחלפה של שטייניץ ==
למי ששאל אותי היום על הוכחה של למת ההחלפה
יש כאן קישור [[מדיה:שטייניץ.pdf|הוכחה ללמת ההחלפה של שטייניץ]] (זה נמצא גם בעמוד הראשי של אלגברה לינארית 1).