К одной теореме Оянгурена

Пусть $k$ — поле характеристики, не равной двум. Доказано, что если квадратичное $k[X_1,\dots,X_n]$-пространство при расширении на поле рациональных функций $k(X_1,\dots,X_n)$ является гиперболическим пространством, то и исходное пространство также гиперболическое. Ранее этот результат был получен Оянгуреном при дополнительном предположении, что $k$ — бесконечное совершенное поле (характеристики $\ne2$). Библ. – 5 назв.