Fue el primero en definir los monomios formula_3; y formula_4, y proporcionar reglas para el producto de dos cualesquiera de ellos.