El grupo O(n) es un subgrupo compacto de GL(n).