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