section_heading: Formalni iskaz
paragraph_text: Ako je jezik L kontekstno neovisan, tada postoji cijeli broj p > 0 takav da svaki niz znakova w u L za koji je |w| ≥ p (gdje je p duljina napuhavanja) može biti zapisan kao s podnizovima u, v, x, y i z, takvim da |vxy| ≤ p, |vy| ≥ 1, i