Каркас SKELi+1, построенный алгоритмом 11.4.Г, связан с SKELi элементарным шагом типа Г, а значит, согласно теореме 12.21 является его К-проекцией. █