Sigue de los trabajos previos que los grupos SL(n) y O(n) son grupos