Donde formula_13 es el grupo ortogonal.