dimpas - компактная группа веществ. матриц алгебрaична?

eсть такой классический результат: компактная (в естественной топологии пространства матриц) группа вещественных матриц является алгебраической. (Humphreys "Linear ALgebraic Groups", sect. 35.3)
А как он доказывается? (Результат принадлежит, как я понял, Шевалле, но где именно опубликовано, непонятно - есть только ссылки на его книги, которые я не смотpел пока, да как-то и не с руки)

comments suda:
http://community.livejournal.com/ru_math/592671.html