Теорема
3.3.4.
Доказательство:
База индукции:
Шаг индукции по
i
:
t
D
i+1
q.e.d.
t
Di+1
