Доказательство леммы о существовании базисного пункта, допустимого для активного префикса

Лемма. О существовании базисного пункта, допустимого для активного префикса

Пусть: $\gamma$ - активный префикс какой-то r-формы. Тогда: Найдется базисный пункт, допустимый для активного префикса $\gamma$ Доказательство: Доказательство леммы о существовании базисного пункта, допустимого для активного префикса

Link to original