Если взять достаточно длинную цепочку символов, принадлежащую произвольному КС-языку, то в ней всегда можно выделить две подцепочки, длина которых в сумме больше нуля, таких, что, повторив их сколь угодно большое число раз, можно получить новую цепочку символов, принадлежащую данному языку.
Формальная запись: Если L – это КС-язык, то $ константа p>0, pÎN ½если aÎL и ½a½³ p , то a=bdgjm, где dj¹e, ½dgj½£ p и bdigj imÎL " i ³0.