A \cdot B = C
Sprawdźmy, czy c_{ij} = 0, dla i > j
c_{ij} = [a_{1j} a_{2j} … a_{nj}] \cdot [b_{i1} b_{i2} … b_{in}]^T
a_{(n-j)j}, a_{(n-j+1)j}, … , a_{nj} = 0
b_{i1}, b_{i2}, … , b_{i(i-1)} = 0
To wszystko widać, jeśli się rozrysuje. Jeśli teraz rozrysujemy równanie c_{ij} i skorzystamy z i > j ⇒ i-1 >= j to ładnie wychodzi.