Liczymy iloczyny macierzy dla każdego a_i•b_i. Takich iloczynów jest oczywiscie \frac{n}{\log(n)}, a każdy w wyniku daje jedną macierz kwadratową. Jeśli zsumujemy te macierze to otrzymamy iloczyn, o który nam chodzi.