section_heading: Dokaz svojstva napuhavanja
paragraph_text: Ideja dokaza koristi činjenicu da za svaki regularni jezik postoji konačni automat (KA) koji prihvaća jezik. Ako je regularni jezik konačan, tada slijedi da je svojstvo napuhavanja trivijalno istinito, pošto ne postoje nizovi znakova u jeziku veći od duljine napuhavanja.