normalization lemma

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