grupo O(n) de las transformaciones ortogonales es un subgrupo de Eucl(E).