Sea formula_8 el cuerpo de los números reales, formula_9 el de los números complejos, y formula_10 el anillo de división de los cuaterniones.