El producto tensorial de los tres se puede por lo tanto identificar con cualquiera de esos: el binario formula_16 será suficiente.