Рациональность поля инвариантов треугольной группы

Доказывается, что поле рациональных инвариантов алгебраической группы треугольных бирациональных преобразований пространства $k^n$ ($k$ – алгебраически замкнутое поле нулевой характеристики) является полем рациональных функций. Отсюда, в частности, следует, что поле рациональных инвариантов связной разрешимой алгебраической линейной группы является полем рациональных функций.