Мы определили "формальную поляризацию" так, что безразлично, применяется ли поляризация к заданному F ("формально") до или
формально") после подстановки. Поэтому, если
при подстановке обращается в нуль, то то же имеет место и для каждого О, полученного поляризацией из
и в частности для форм
входящих в (16.1). Выражения
равно как (1) и
переходят
при поляризации в выражения той же структуры. Следовательно, посредством сравнения (16.1) мы свели справедливость соответственных теорем
для заданного
к справедливости их для формы
низшего ранга, пока
действительно содержит символ
Начатый так» индуктивный процесс закончится полным исключением
из
Тот же процесс можно повторять, пока
содержит еще более
латинских символов, приписывая
из этих символов роль, которую играли выше
Этим способом мы, наконец, дойдем до
содержащего не более
латинских символов
В случае а) такое
является функцией
переменных вида
число V ничем не ограничено. Мы докажем теорему
показав, что если в случае а) число латинских символов равно
, то наше
не может обратиться в нуль после подстановки, не будучи нулем уже до нее.
Это легко сделать, поскольку можно сразу найти
ковариантных векторов
контравариантных векторов так, чтобы внутренние произведения
оказались равными произвольно предписанным числам
Для этого следует только взять
В случае
однородная функция
содержащая не более
латинских символов, необходимо имеет вид
где второй множитель
зависит снова от одних лишь переменных типа
не может содержать более одного такого