Изменения

|proof=

Действительно, в левой части равенства <tex>D(a, b) = \lambda + aD(a, b)bD(a, b)</tex> записана сумма всех слов языка Дика. Равенство означает справедливость утверждения:

Всякое слово в языке Дика есть либо

:1) пустое слово,