Теорема о накачке: как доказать нерегулярность языка