Вроде бы, я умею доказывать в случае, когда индекс Витта квадратичной формы над Q равен 1. Идея в том, что каждый примитивный изотропный элемент a определяет невырожденную квадратичную форму с числом переменных на 2 меньше (отщепляем гиперболическую плоскость), и можно доказать, что если эти формы изометричны над Z для двух элементов a и a', то сами элементы лежат в одной орбите. Но над Q есть теорема Витта о сокращении, так что формы над Q изометричны, а известно (могу поискать ссылку) что у анизотропной квадратичной формы над Q есть только конечное число невырожденных Z-форм.