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