(In the case of decoding, each edge has a multiplicity of (m − 1) on the output language side.)
the left edge in each span of Y corresponds to the left edge of a span in X or to the right edge of a span in C. Y has at most one span for each span in C ∪ X , so y ≤ c + x.