Основа системы [SVS△], построенная алгоритмом 16.5, подчиняется условиям теоремы 16.4, а значит, связана с [SVS◎] элементарным шагом типа А, являясь её О-проекцией. █