שינויים
/* מטריצות הפיכות */
כיוון שני (<math>\Leftarrow</math>) : נתון שהמכפלה הפיכה. צריך להוכיח שכל אחת מהמטריצות הפיכה. נסמן את ההופכית של המכפלה ב <math>B</math> אזי מתקיים לפי הגדרה כי <math>A_1\cdot A_2\cdots A_k\cdot B=I </math> ומכאן רואים ישירות כי <math>A_1^{-1}=A_2\cdots A_k\cdot B </math>.
כעת נכפיל ב <math>AA_1^{-1}</math> משמאל וב <math>AA_1</math> מימין ונקבל כי <math> A_2\cdots A_k\cdot B\cdot A_1=I </math>
ומכאן ש <math>A_2^{-1}= A_3\ cdots A_k\cdot B\cdot A_1</math> וכן על זאת הדרך...
