Cada grupo finito es isomorfo a un grupo de matrices.