Si formula_25 es antihermítica entonces su exponencial es unitaria.