Chevalley Basis Theorem