Es decir que τ es un elemento de formula_17, o sea que formula_17 está formado por todas las transformaciones ortogonales que fijan e.