שינויים

<math>AB=I</math> לכן <math>|AB|=|I|=n</math> מכיוון ו-n טבעי אז הדט' שונה מ-0, ולכן בהכרח <math>|A|\neq 0</math> וגם <math>|B|\neq 0</math> אז B הפיכה ולכן קיימת מט' C כך ש- <math>BC=I</math>. נכפול משמאל ב-A: <math>C=IC=ABC=AI=A</math> ויוצא ש- <math>BA=I</math>.