Chevalley-Shephard-Todd theorem