Теорема 3.2.4.
Пусть E1 и E2 - правила типа «перечисления» такие, что dD E1(δd)=E2(δd) , тогда y E1(y)=E2(y).
Доказательство:
q.e.d.
d
D
E1(δd)=E2(δd)
, тогда y
E1(y)=E2(y).dD
E1(δd)=E2(δd)
, тогда y
E1(y)=E2(y).
