Notaremos formula_11 el cuaternión conjugado de formula_12: formula_13.