Построенная алгоритмом 16.9 основа системы [SVS∆] подчиняется условиям теоремы 16.8, а значит, связана с [SVS◎] элементарным шагом типа Б, являясь её О-проекцией. █