Пусть , и . Тогда существует .
Замечание:
().
Доказательство:
Возьмем произвольный .
. Тогда . . ().
.