Gotova teorija grupa do Lagranzove teoreme