Изменения

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