tentativa frustrada de implementar o algoritmo de multiplicação O(n**log^3_2) :(((((