Элементарная эквивалентность групп Шевалле над полями

В работе доказано, что (элементарные) группы Шевалле $G_\pi(\Phi,K)$ и $G_{\pi'}(\Phi',K')$ (или $E_\pi(\Phi,K)$ и $E_{\pi'}(\Phi',K')$) над бесконечными полями $K$ и $K'$ характеристики, отличной от двух, с решётками весов $\Lambda$ и $\Lambda'$ соответственно элементарно эквивалентны тогда и только тогда, когда системы корней $\Phi$ и $\Phi'$ изоморфны, поля $K$ и $K'$ элементарно эквивалентны, решётки $\Lambda$ и $\Lambda'$ совпадают.