Теорема 4.1.4.

Доказательство:

Введем биекцию h:D→DD_N+1: dD h(d)(d,1)

и по теореме 4.1.2

q.e.d.