Изменения

<tex> 2)</tex> Пусть <tex> \varepsilon \in \alpha</tex>. предположим, что <tex> \alpha^{*}( \beta + \alphaL) </tex> — решение, тогда <tex> \alpha^{*}( \beta + \alphaL) </tex> подходит в <tex>X = \alpha X + \beta</tex>. Выберем в качестве <tex>L</tex> любой язык.   Тогда для него выполняется: <tex>\Rightarrow \alpha^{*} ( \beta + L ) = \alpha \alpha^{*} ( \beta + L ) + \beta \alpha^{*} \beta + \alpha^{*} \alpha </tex> <tex>= \alpha^{+} \beta + \alpha^{*} L + \beta = \alpha^{*} \beta + \alpha^{*} L = \alpha^{*}( \beta + \alphaL) </tex>. что и требовалось доказать