Si formula_25 es antisimétrica su exponencial es ortogonal.