*תהיינה <math>A\in\mathbb{F}^{n\times m},B\in\mathbb{F}^{m\times k}</math>
**נגדיר את המכפלה <math>ABAAB\in\mathbb{F}^{n\times k}</math> על ידי
**<math>[AB]_{ij}=R_i(A)C_j(B)=\sum_{p=1}^m[A]_{ip}[B]_{pj}</math>
<videoflash>kQ769lnvuQw</videoflash>
*הוקטור <math>\vec{x}</math> הוא פתרון למערכת המשוואות עם מטריצת המקדמים <math>A</math> ווקטור הקבועים <math>\vec{b}</math> אם ורק אם <math>A\cdot \vec{x}=\vec{b}</math>