normalization theorem

Мат. теорема нормализации