and 
be sequences, and let 
be any LCS of X and Y.
Let and be sequences, and let be any LCS of X and Y.
, then 
and 
is an LCS
of 
and 
.
, then 
implies that Z is an
LCS of and Y. , then 
implies that Z is an
LCS of X and .
