Теорема 4.1.3.

y нормального по всем y_i,

G_N(y) G_C(y) j

Доказательство:

Если y нормален по всем y_i, то нормален. Следовательно:

1. C(|) N(|)    dD  C(|δ_d) = (d)(d) = N(|δ_d)

2.     N(|) C(|)

q.e.d.