chevalleys theorem