Chevalley theorem