Дипломная работа: Абстрактное отношение зависимости

( iii ) ( i ) Нужно доказать равенство для произвольного .

Возьмем и покажем, что Так как , то Пусть существует , тогда независимо и существует Z и Z . Расширяя